SimpleReachabilitySolver