do not unneccessarily store ground formulas in BPLL learning.