Constraint options containing variables aren't excluded. about transforge

[nsbgn]

... It is. I'm not sure what is going wrong.

    A = Type.declare('A')
    B = Type.declare('B')
    C = Type.declare('C')
    R2 = Type.declare('R2', params=2)
    R3 = Type.declare('R3', params=3)
    actual = TypeSchema(lambda x:
        R3(A, x, C) | R2(C, B) @ [R2(A, x), R2(C, x)])
    expected = R3(A, B, C)
    self.assertEqual(actual.instance(), expected.instance())

[nsbgn]

[nsbgn]

The following does indeed still trigger it:

cct.parse("(join_key (select (eq) (lTopo (deify (merge (pi2 (test x)))) (merge (pi2 (test x)))) (in)) (groupby (get) (test x)))")