improved sema for DO stmt, added sema test