fix calling assures with operands