bugfix: disjunction between successors, handle absent env_actions