Adding utilities for lattice detection.
Getting rid of vacuous dob in provers and standardizing GameLogicContext variables.