Predicate AV Rule 70::implicitConvOnFirstParm

predicate implicitConvOnFirstParm(Function f)