[SBV] tests/T28.hs:13:1 Proving "g", using Z3.
[Z3] Q.E.D.