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