void add_action_to_lists(ModelAction *act);
void add_normal_write_to_lists(ModelAction *act);
void add_write_to_lists(ModelAction *act);
void add_action_to_lists(ModelAction *act);
void add_normal_write_to_lists(ModelAction *act);
void add_write_to_lists(ModelAction *act);