#4775: more extensive assert statement checks (warn for side effects)