ADT: method hasExtension() to Extensible-class added