adding general co-safe ltl tasks