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

[SBV] tests/T15.hs:11:1 Proving "f", using Z3.
[Z3] Q.E.D.