soft ifs: implemented leq, geq, eq, neq cases; while: problem with random generation -- seed needs to be fixed in advance