Added assumption analyzer as new extension, improved the report generator to use it. Also fixes a problem with the satisfying-assignment counter of the BFAbstractionLibrary for CUDD.