bugfix in new MSC->getAllLiterals