}
}
class DelegationContract extends PreContract {
private final PsiMethodCallExpression myExpression;
private final boolean myNegated;
<BUG>public DelegationContract(PsiMethodCallExpression expression, boolean negated) {
myExpression = expression;</BUG>
myNegated = negated;
}
@NotNull

}
class KnownContract extends PreContract {
private final MethodContract myKnownContract;
KnownContract(@NotNull MethodContract knownContract) {
myKnownContract = knownContract;
}
@NotNull
MethodContract getContract() {
return myKnownContract;
}
@NotNull
