bdd_bu_tree_aut_core: add ComputeSimulation(SimParam&)
bdd_bu_tree_aut_core: remove redundant code

In AddTranstion(), the same code was repeated twice (although the result
was supposed to still be OK as the second execution made no effect).
bdd_bu_tree_aut: call ComputeSimulation in the core