iadd assertion that cannot be verified
remove some invariants