Fix order of assertion operands
Rename variable for semantics