Switch to statically predetermined comparison operators.
Switch to statically predetermined comparison operators.

innopolis-jolie-smt-typechecker/jolie,mawolf/jolie,jolie-projects/jolie-async,agwe/jolie,innopolis-jolie-smt-typechecker/jolie,mawolf/jolie,jolie-projects/jolie-async,agwe/jolie,mawolf/jolie,jolie-projects/jolie-async,innopolis-jolie-smt-typechecker/jolie,jolie-projects/jolie-async,mawolf/jolie,agwe/jolie,agwe/jolie,innopolis-jolie-smt-typechecker/jolie