fix to EE to filter true/false atoms from within CNFs for FULL mode
fix to EE to filter true/false atoms from within CNFs for FULL mode

boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral