add MSC->getAllLiterals to be able to conveniently process Macros as
well