Infos
-   ++   INVARIANTS
-   ++   INVARIANT   +S
-   ++   NANTIRAIS   +V