deal correctly with rules that contain the system solvable