definition module SimpleParse import WhileCommon import Simple instance parse Stm