around advice for verification-assertion methods