- fix: tick with steps in e-mobility
- using effect axiom construction for e-mobility vehicle
- building default static SSAs for fluents without any effect/direct SSA clause