-avoid side-effect in assertion