convert z3-model to map of keyword and object values
change symbol map key to be a keyword