Validate that all injective LHS vars appear in RHS