Variable Invariant.blockStatement

class Invariant
{
  // ...
  BlockStatement blockStatement ;
  // ...
}