better names for testing formula builder api
interface for low level utilization of the sat solver