Use QF_ABV_LOGIC only when _BIT_THEORY_ is enabled
Cleanup one STP test