fix the usages of macros by using the new MSC->getAllLiterals (instead
of just ignoring macros when doing MSC->getSubFormulas)