if (!processingContextInformation.isPostconditionsEnabled()) return;
if (booleanExpression == null) return;
final List<ConstructorNode> declaredConstructors = classNode.getDeclaredConstructors();
contract.postconditions().and(methodNode, new Postcondition(blockStatement, booleanExpression, declaredConstructors.contains(methodNode)));
}