builder.addStatement(new AssertBinaryOp(statements.get(unit).getLast(), first, second, op));
}
void makeAliasAssertion(Variable first, Variable second, boolean aliases) {
if (first == null || second == null)
return;
builder.addStatement(new AssertAliases(statements.get(unit).getLast(), first, second, aliases));
}