Added initital implementation for more efficient BPLL grounding. This is not finished yet.