free lifting of tensors into i -> j -> Constraint