if (!pci.isPostconditionsEnabled() || !CandidateChecks.isPostconditionCandidate(method.getDeclaringClass(), method)) return;
final ReaderSource source = pci.readerSource();
final PostconditionGenerator postconditionGenerator = new PostconditionGenerator(source);
postconditionGenerator.generatePostconditionAssertionStatement(method, postcondition);
}
}