Add some tests
Validate that all injective LHS vars appear in RHS