Add an assert, it fail if the post_condition aren't respected: that the remove constant and not used inputs is run before the save mem scan opt.