@Override
public void process(ProcessingContextInformation processingContextInformation, Contract contract, ClassNode classNode, MethodNode methodNode, BlockStatement blockStatement, BooleanExpression booleanExpression) {
if (!processingContextInformation.isPreconditionsEnabled()) return;
if (booleanExpression == null) return;
contract.preconditions().or(methodNode, new Precondition(blockStatement, booleanExpression));
}