TestAliasContext aliases = new TestAliasContext();
aliases.addAlias(instr.getTarget(), labels[3]);
aliases.addAlias(instr.getArgOperands().get(0), labels[5]);
AliasDelta expected = new AliasDelta();
expected.addChange(instr.getTarget(), labels[3]);
expected.addChange(instr.getArgOperands().get(0), labels[5]);
Operation op = new ConstructorOp("Foo", new SpecVar[] {utils.getVar(0)}, new String[] {"Bar"});
List<Effect> effects = new LinkedList<Effect>();
effects.add(RelEffect.createRemoveEffect(utils.getRelation(1), new SpecVar[] {utils.getVar(0), utils.getVar(0)}));