ParameterDeclaration.typestateCheck() (the same as VariableDecl.typestateCheck())