fact: Parameter methodDecl : TypeDefKind -> MethodKind -> list FULL_SPEC_CASE.t -> option MethodSignature -> list Modifier -> ReturnType -> ShortMethodName -> list Param -> list ExceptionType -> option BLOCK.t -> Method.
imports: JML(JMLProgramPlus) Coq(List) JML(TaggedList)