definition module SimpleParse

import WhileCommon
import Simple

instance parse Stm