Symbol: solver_unifyrules