cached_solve      943 src/Solve.cpp              cached_solve((a <= c_var) && (b_var <= c_var || a >= b_var));
cached_solve      957 src/Solve.cpp              cached_solve((a <= c_var) || (b_var <= c_var && a >= b_var));
cached_solve      997 src/Solve.cpp              cached_solve((a >= c_var) || (b_var >= c_var && a <= b_var));
cached_solve     1011 src/Solve.cpp              cached_solve((a >= c_var) && (b_var >= c_var || a <= b_var));