add mstatements (tested on many cases)