DfaCondition (DfaValueFactory factory, PsiCallExpression call) { DfaCallArguments arguments = DfaCallArguments.fromCall(factory, call); if (arguments == null) return DfaCondition.getUnknown(); return makeCondition(factory, arguments); }