[SimpleSim] More safety at the expense of using Def_Sim_X2