Predicate AV Rule 82::assignOperatorWithWrongType

predicate assignOperatorWithWrongType(Operator op, string msg)