MOD: add a getLeafCount() method to the MDD managers
MOD: remove the reversed trick from the function operators and use the not operation from the MDD manager instead (should be more robust)
MOD: update visibility of a test helper function