Fix Z3 crash when class hierarchy contains an isolated abstract class