Files
Upsilon/tests/solver/solver_no_variable.esc