initial implementation of usage of new topological policy mode execution
big solving for coping with unexpected robot behaviours
adding general co-safe ltl tasks