Variable binding constraints on conjunctive variable bindings working