Predicate InconsistentCheckReturnNull::assignedValueForVariableAndQualifier

Expr assignedValueForVariableAndQualifier(Variable v, Declaration qualifier)