I want to know the answer to the following question:
What is the shorter form of Al-Shifa called?
All the background I'm provided with is that "A shorter form of the work is known as the An-najat (Liberatio).". Is that enough to answer the question?