Update satisfies_operation_orders.m

Never assign is_valid to true again if it is ever assigned to false