CVC4 + Z3 compliance for ADT leaves