Name: Vladyslav Shtabovenko Date: 12/13/16-04:44:23 PM Z
With the current stable version (9.2) the output is correct:
OneLoopSimplify[FVD[p, mu] SPD[p, k] FAD[{p}, {p, m}], p]
(FeynAmpDenominator[PropagatorDenominator[Momentum[p,
D], m]]*
Pair[LorentzIndex[mu, D], Momentum[k,
D]])/D
However, I added your example to the unit tests, just in case.
Cheers,
Vladyslav