add return before failure assertions. Struct is found to be used as left value in ASM calls