Z3 with custom extensions