static analysis update, include assert