Predicate multipleToString

predicate multipleToString(SsaVariable v)