slightly improved recursive algorithm - there was one unnecessary BDD
operation, corrected evaluation logging