destruct_conjs refactoring