in src/main/java/com/amazon/checkerframework/cryptopolicy/CryptoPolicyComplianceVisitor.java [48:50]
public CryptoPolicyComplianceVisitor(BaseTypeChecker checker) { super(checker); }