add infinite?-call to reachabilitygraph