Variable Invariant.useParen

class Invariant
{
  // ...
  bool useParen ;
  // ...
}