added some constant relations

exercises/04/vslc/vsl_programs/ps3-simplify/lists.vsl

@@ -7,6 +7,18 @@ func my_fun(a, b, c, d, e, f, g, h) begin
     if i = f then begin
         print "hmmm"
     end
+
+    if 1 = 1 then begin
+        print "true"
+    end
+
+    if 1 = 2 then begin
+        print "false"
+    end 
+
+    if 1 < 2 then begin
+        print "true"
+    end
 end
 
 func main() begin