given SV_1==SV_2 when SV_1==SV_2 -> FULFILLED
given SV_1==SV_2 when SV_1!=SV_2 -> UNFULFILLED
given SV_1==SV_2 when SV_1>SV_2 -> UNFULFILLED
given SV_1==SV_2 when SV_1>=SV_2 -> FULFILLED
given SV_1==SV_2 when SV_1<SV_2 -> UNFULFILLED
given SV_1==SV_2 when SV_1<=SV_2 -> FULFILLED
given SV_1==SV_2 when SV_1.EQ.SV_2 -> FULFILLED
given SV_1==SV_2 when SV_1.NE.SV_2 -> UNFULFILLED
given SV_2==SV_1 when SV_1==SV_2 -> FULFILLED
given SV_2==SV_1 when SV_1!=SV_2 -> UNFULFILLED
given SV_2==SV_1 when SV_1>SV_2 -> UNFULFILLED
given SV_2==SV_1 when SV_1>=SV_2 -> FULFILLED
given SV_2==SV_1 when SV_1<SV_2 -> UNFULFILLED
given SV_2==SV_1 when SV_1<=SV_2 -> FULFILLED
given SV_2==SV_1 when SV_1.EQ.SV_2 -> FULFILLED
given SV_2==SV_1 when SV_1.NE.SV_2 -> UNFULFILLED
given SV_1!=SV_2 when SV_1==SV_2 -> UNFULFILLED
given SV_1!=SV_2 when SV_1!=SV_2 -> FULFILLED
given SV_1!=SV_2 when SV_1>SV_2 -> UNDETERMINED
given SV_1!=SV_2 when SV_1>=SV_2 -> UNDETERMINED
given SV_1!=SV_2 when SV_1<SV_2 -> UNDETERMINED
given SV_1!=SV_2 when SV_1<=SV_2 -> UNDETERMINED
given SV_1!=SV_2 when SV_1.EQ.SV_2 -> UNDETERMINED
given SV_1!=SV_2 when SV_1.NE.SV_2 -> UNDETERMINED
given SV_2!=SV_1 when SV_1==SV_2 -> UNFULFILLED
given SV_2!=SV_1 when SV_1!=SV_2 -> FULFILLED
given SV_2!=SV_1 when SV_1>SV_2 -> UNDETERMINED
given SV_2!=SV_1 when SV_1>=SV_2 -> UNDETERMINED
given SV_2!=SV_1 when SV_1<SV_2 -> UNDETERMINED
given SV_2!=SV_1 when SV_1<=SV_2 -> UNDETERMINED
given SV_2!=SV_1 when SV_1.EQ.SV_2 -> UNDETERMINED
given SV_2!=SV_1 when SV_1.NE.SV_2 -> UNDETERMINED
given SV_1>SV_2 when SV_1==SV_2 -> UNFULFILLED
given SV_1>SV_2 when SV_1!=SV_2 -> FULFILLED
given SV_1>SV_2 when SV_1>SV_2 -> FULFILLED
given SV_1>SV_2 when SV_1>=SV_2 -> FULFILLED
given SV_1>SV_2 when SV_1<SV_2 -> UNFULFILLED
given SV_1>SV_2 when SV_1<=SV_2 -> UNFULFILLED
given SV_1>SV_2 when SV_1.EQ.SV_2 -> UNFULFILLED
given SV_1>SV_2 when SV_1.NE.SV_2 -> FULFILLED
given SV_2>SV_1 when SV_1==SV_2 -> UNFULFILLED
given SV_2>SV_1 when SV_1!=SV_2 -> FULFILLED
given SV_2>SV_1 when SV_1>SV_2 -> UNFULFILLED
given SV_2>SV_1 when SV_1>=SV_2 -> UNFULFILLED
given SV_2>SV_1 when SV_1<SV_2 -> FULFILLED
given SV_2>SV_1 when SV_1<=SV_2 -> FULFILLED
given SV_2>SV_1 when SV_1.EQ.SV_2 -> UNFULFILLED
given SV_2>SV_1 when SV_1.NE.SV_2 -> FULFILLED
given SV_1>=SV_2 when SV_1==SV_2 -> UNDETERMINED
given SV_1>=SV_2 when SV_1!=SV_2 -> UNDETERMINED
given SV_1>=SV_2 when SV_1>SV_2 -> UNDETERMINED
given SV_1>=SV_2 when SV_1>=SV_2 -> FULFILLED
given SV_1>=SV_2 when SV_1<SV_2 -> UNFULFILLED
given SV_1>=SV_2 when SV_1<=SV_2 -> UNDETERMINED
given SV_1>=SV_2 when SV_1.EQ.SV_2 -> UNDETERMINED
given SV_1>=SV_2 when SV_1.NE.SV_2 -> UNDETERMINED
given SV_2>=SV_1 when SV_1==SV_2 -> UNDETERMINED
given SV_2>=SV_1 when SV_1!=SV_2 -> UNDETERMINED
given SV_2>=SV_1 when SV_1>SV_2 -> UNFULFILLED
given SV_2>=SV_1 when SV_1>=SV_2 -> UNDETERMINED
given SV_2>=SV_1 when SV_1<SV_2 -> UNDETERMINED
given SV_2>=SV_1 when SV_1<=SV_2 -> FULFILLED
given SV_2>=SV_1 when SV_1.EQ.SV_2 -> UNDETERMINED
given SV_2>=SV_1 when SV_1.NE.SV_2 -> UNDETERMINED
given SV_1<SV_2 when SV_1==SV_2 -> UNFULFILLED
given SV_1<SV_2 when SV_1!=SV_2 -> FULFILLED
given SV_1<SV_2 when SV_1>SV_2 -> UNFULFILLED
given SV_1<SV_2 when SV_1>=SV_2 -> UNFULFILLED
given SV_1<SV_2 when SV_1<SV_2 -> FULFILLED
given SV_1<SV_2 when SV_1<=SV_2 -> FULFILLED
given SV_1<SV_2 when SV_1.EQ.SV_2 -> UNFULFILLED
given SV_1<SV_2 when SV_1.NE.SV_2 -> FULFILLED
given SV_2<SV_1 when SV_1==SV_2 -> UNFULFILLED
given SV_2<SV_1 when SV_1!=SV_2 -> FULFILLED
given SV_2<SV_1 when SV_1>SV_2 -> FULFILLED
given SV_2<SV_1 when SV_1>=SV_2 -> FULFILLED
given SV_2<SV_1 when SV_1<SV_2 -> UNFULFILLED
given SV_2<SV_1 when SV_1<=SV_2 -> UNFULFILLED
given SV_2<SV_1 when SV_1.EQ.SV_2 -> UNFULFILLED
given SV_2<SV_1 when SV_1.NE.SV_2 -> FULFILLED
given SV_1<=SV_2 when SV_1==SV_2 -> UNDETERMINED
given SV_1<=SV_2 when SV_1!=SV_2 -> UNDETERMINED
given SV_1<=SV_2 when SV_1>SV_2 -> UNFULFILLED
given SV_1<=SV_2 when SV_1>=SV_2 -> UNDETERMINED
given SV_1<=SV_2 when SV_1<SV_2 -> UNDETERMINED
given SV_1<=SV_2 when SV_1<=SV_2 -> FULFILLED
given SV_1<=SV_2 when SV_1.EQ.SV_2 -> UNDETERMINED
given SV_1<=SV_2 when SV_1.NE.SV_2 -> UNDETERMINED
given SV_2<=SV_1 when SV_1==SV_2 -> UNDETERMINED
given SV_2<=SV_1 when SV_1!=SV_2 -> UNDETERMINED
given SV_2<=SV_1 when SV_1>SV_2 -> UNDETERMINED
given SV_2<=SV_1 when SV_1>=SV_2 -> FULFILLED
given SV_2<=SV_1 when SV_1<SV_2 -> UNFULFILLED
given SV_2<=SV_1 when SV_1<=SV_2 -> UNDETERMINED
given SV_2<=SV_1 when SV_1.EQ.SV_2 -> UNDETERMINED
given SV_2<=SV_1 when SV_1.NE.SV_2 -> UNDETERMINED
given SV_1.EQ.SV_2 when SV_1==SV_2 -> UNDETERMINED
given SV_1.EQ.SV_2 when SV_1!=SV_2 -> UNDETERMINED
given SV_1.EQ.SV_2 when SV_1>SV_2 -> UNFULFILLED
given SV_1.EQ.SV_2 when SV_1>=SV_2 -> FULFILLED
given SV_1.EQ.SV_2 when SV_1<SV_2 -> UNFULFILLED
given SV_1.EQ.SV_2 when SV_1<=SV_2 -> FULFILLED
given SV_1.EQ.SV_2 when SV_1.EQ.SV_2 -> FULFILLED
given SV_1.EQ.SV_2 when SV_1.NE.SV_2 -> UNFULFILLED
given SV_2.EQ.SV_1 when SV_1==SV_2 -> UNDETERMINED
given SV_2.EQ.SV_1 when SV_1!=SV_2 -> UNDETERMINED
given SV_2.EQ.SV_1 when SV_1>SV_2 -> UNFULFILLED
given SV_2.EQ.SV_1 when SV_1>=SV_2 -> FULFILLED
given SV_2.EQ.SV_1 when SV_1<SV_2 -> UNFULFILLED
given SV_2.EQ.SV_1 when SV_1<=SV_2 -> FULFILLED
given SV_2.EQ.SV_1 when SV_1.EQ.SV_2 -> FULFILLED
given SV_2.EQ.SV_1 when SV_1.NE.SV_2 -> UNFULFILLED
given SV_1.NE.SV_2 when SV_1==SV_2 -> UNFULFILLED
given SV_1.NE.SV_2 when SV_1!=SV_2 -> FULFILLED
given SV_1.NE.SV_2 when SV_1>SV_2 -> UNDETERMINED
given SV_1.NE.SV_2 when SV_1>=SV_2 -> UNDETERMINED
given SV_1.NE.SV_2 when SV_1<SV_2 -> UNDETERMINED
given SV_1.NE.SV_2 when SV_1<=SV_2 -> UNDETERMINED
given SV_1.NE.SV_2 when SV_1.EQ.SV_2 -> UNFULFILLED
given SV_1.NE.SV_2 when SV_1.NE.SV_2 -> FULFILLED
given SV_2.NE.SV_1 when SV_1==SV_2 -> UNFULFILLED
given SV_2.NE.SV_1 when SV_1!=SV_2 -> FULFILLED
given SV_2.NE.SV_1 when SV_1>SV_2 -> UNDETERMINED
given SV_2.NE.SV_1 when SV_1>=SV_2 -> UNDETERMINED
given SV_2.NE.SV_1 when SV_1<SV_2 -> UNDETERMINED
given SV_2.NE.SV_1 when SV_1<=SV_2 -> UNDETERMINED
given SV_2.NE.SV_1 when SV_1.EQ.SV_2 -> UNFULFILLED
given SV_2.NE.SV_1 when SV_1.NE.SV_2 -> FULFILLED
