Predicate AV Rule 184::badConversion

predicate badConversion(Expr e)