Currently, the docs/usage.md file only covers the basics of the analyzer, which are not sufficient through the most recent changes of adding new features. The usage docs should be changed accordingly:

• Consider the directory docs/guides which will contain such docs about usage of the analyzer
• usage.md should be split into 4 separate documents, or chapters, that will cover the single most basic feature
• New docs about profiles and constraint inheritance through all methods should be included
• Future features will have to abide to that new framework too