Symbol: solver_printrule