1Make sure analysis of unverified method is skipped.
2