deactivating singleton loop nogoods for now
improved some debugging outputs
using programbuilder to set symbols instead of hacking in symbol table

(this gives more assertions in debug mode and should be the same in release mode)
initializing false_ in the same way the facade does
obtaining assumptions and estimating problem size as the facade does
implementing delayable incremental interpretation update