Use the priority attribute instead of antiLeft when applying equations

[ana-pantilie]

[ttuegel]

We already sort the equations by priority, so it shouldn't make a difference if we evaluate the antiLeft or not. Yet, if we ignore the antiLeft we get some incorrect integration tests.