rej14: Minor change in fase operator

 * Include dependers/dependees connected with empty actors in the rnf
 * Regen encodings due to ordered set change in mavo decisions