A Relational Model of Programs Without the Restriction to Egli-Milner-Monotone Constructs