numreg;total;abl;bdd;proof;topnodes
