start the reader/writer/state monad stack for parse tree checking