Add Z3 support