Variable SpecifiedFunctionBody.functionContracts

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