isJmlRepresentsDeclaration