RE: Understanding core2core optimisation pipeline

| One more question about reading the demand analysis results: | | Str=DmdType | | Here the argument is demanded once. But what if I have: | | Str=DmdType | | Does the lack of `1*` imply that the argument is used many times? Well, *may* be used many times. S