@Override
public void process(ProcessingContextInformation processingContextInformation, Contract contract, ClassNode classNode, BlockStatement blockStatement, BooleanExpression booleanExpression) {
if (!processingContextInformation.isClassInvariantsEnabled()) return;
if (booleanExpression == null) return;
contract.setClassInvariant(new ClassInvariant(blockStatement, booleanExpression));
}