LiftC2 -- so we can talk about i -> j -> Constraint