modifiable boolean added with assertion error check