LTL_TASK_IS_MIGRATION
ltl_atom_set(mon, LTL_TASK_IS_MIGRATION, true);
ltl_atom_set(mon, LTL_TASK_IS_MIGRATION, false);
ltl_atom_set(mon, LTL_TASK_IS_MIGRATION, false);
bool task_is_migration = test_bit(LTL_TASK_IS_MIGRATION, mon->atoms);
bool task_is_migration = test_bit(LTL_TASK_IS_MIGRATION, mon->atoms);