Variable Invariant.comment

class Invariant
{
  // ...
  string comment ;
  // ...
}