</BUG>
}
}
if (expr instanceof PsiNewExpression) {
<BUG>return toContracts(states, NOT_NULL_VALUE);
</BUG>
}
<BUG>if (expr instanceof PsiMethodCallExpression) {
PsiMethod method = ((PsiMethodCallExpression)expr).resolveMethod();
if (method != null && NullableNotNullManager.isNotNull(method)) {
return toContracts(states, NOT_NULL_VALUE);
}</BUG>
}

return result;
}
if (expr instanceof PsiInstanceOfExpression) {
final int parameter = resolveParameter(((PsiInstanceOfExpression)expr).getOperand());
if (parameter >= 0) {
return asPreContracts(ContainerUtil.mapNotNull(states, state -> contractWithConstraint(state, parameter, NULL_VALUE, FALSE_VALUE)));
}
}
if (expr instanceof PsiNewExpression) {
return asPreContracts(toContracts(states, NOT_NULL_VALUE));
}
if (expr instanceof PsiMethodCallExpression) {
return Collections.singletonList(new MethodCallContract((PsiMethodCallExpression)expr, states));
}
