Additional Error Prone checkers used by Picnic.