Do not ask "Is A a B?": Inheritance and the Is-A Trap