Changing the order of linearization equations with respect to the original atoms in the body of sequents. This change is meant to improve the efficiency of joins at the relational algebra layer by avoiding creation of huge intermediate tables.