Variable Invariant.comment

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