let doStmt _stm _astate = DF.SDefault