partialSub = partialSub.addSub(utils.getVar(0), labels[0]);
partialSub = partialSub.addSub(utils.getVar(1), labels[1]);
partialSub = partialSub.addSub(Constraint.RESULT, labels[6]);
partialSub = partialSub.addSub(Constraint.RECEIVER, labels[1]);
Variant vOld = this.variant;
this.variant = Variant.PRAGMATIC_VARIANT;
FusionEnvironment<?> env = new FusionEnvironment<TestAliasContext>(aliases, rels, null, types, new InferenceEnvironment(null), variant);
Pair<RelationshipDelta, Substitution> deltas = runFullyBound(env, partialSub, cons);
this.variant = vOld;
assertNull(deltas.snd());