Removed invalid assertions from code. Now the MS can be run with assertions enabled (using -ea flag)