Predicate AmbiguousToString::multipleToString

predicate multipleToString(SsaVariable v)