Symbol: solver_printruleelement