New way of forcing generation of variable bindings in presence of conjunctions