fix(opensmt/egraph/EgraphStore.C): use cons properly when make mkPow