Exploiting Hub States in Automatic Verification