moved bddfy method to the scenario class in ATM