reduced recursions for path calculation by using the bdd cache
extensively, program now needs lots of more heap space when no bdd files
are precomputed