<BUG>private List<MethodContract> visitExpression(final List<ValueConstraint[]> states, @Nullable PsiExpression expr) {</BUG><CONTEXT>return Collections.singletonList(new DelegationContract((PsiMethodCallExpression)expression, negated));}return null;}@NotNull<extra_id_0>if (states.isEmpty()) return Collections.emptyList();if (states.size() > 300) return Collections.emptyList(); // too complexif (expr instanceof PsiPolyadicExpression) {</CONTEXT>
private List<PreContract> visitExpression(final List<ValueConstraint[]> states, @Nullable PsiExpression expr) {