Fix NPE in Mapping#getRunningVMs(Set<UUID>)
Symetry breaking for VMs stay that running. Simplify the scheduling part _a lot_.

 The partial symetry breaking has been removed in CPreserve. Was doing the same but it was less efficient.

 (Bug fix in FastImpliesEq)