}
@Test
public void testFindLabelsDefAndPoss() {
FusionEnvironment<?> env = new FusionEnvironment<TestAliasContext>(aliases, null, null, testH, new InferenceEnvironment(null), Variant.PRAGMATIC_VARIANT);
FreeVars fv = new FreeVars().addVar(new SpecVar("a"), "SnaFu").addVar(new SpecVar("b"), "Bazar");
ConsList<Binding> list = ConsList.empty();
list = ConsList.cons(new Binding(new SpecVar("a"), vars[2]), list);
list = ConsList.cons(new Binding(new SpecVar("b"), vars[4]), list);
List<Substitution> subs = env.findLabels(list, fv);
assertEquals(4, subs.size());