Variable SpecifiedFunctionBody.functionContracts

class SpecifiedFunctionBody
{
  // ...
  FunctionContract[] functionContracts;
  // ...
}