Make assertion stricter. Since the source operands are allocated at