Variable Invariant.blockStatement

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