[BOLT] assertion failure: "fragment of non-simple function should also be non-simple"

Many checks in BOLT only update the parent functions to non-simple, leaving their fragment status unchanged. This might trigger an assertion failure: "fragment of non-simple function should also be non-simple" in BinaryFunction::getOutputAddressRanges.
