sbvPlugin-0.2: tests/GoldFiles/T28.hs.golden

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