Require to fix exporting of assumptions to witness due to bit precise SMG

Current version of assumptions doesn't support exporting to witness with bit-precision, which leads to unconfirmed traces