Predicate AV Rule 82::assignOperatorWithWrongResult

predicate assignOperatorWithWrongResult(Operator op, string msg)