Make sure analysis of unverified method is skipped.