fix #309
Escapes not necessary for constants
Refactor tests to use all solvers and FactCheck.jl