try to integrate Z3 extensions id
parsing extension