Grounding of conjunctions working, but not in general case
Both variables and conjunctions-bourne variables handled