FCLoopNonIntegerPropagatorPowersFreeQ[int] checks if the
integral contains propagators raised to noninteger (i.e. fractional or
symbolic) powers.
Overview, FCLoopRemoveNegativePropagatorPowers.
SFAD[{q + p, m^2, 2}]
FCLoopNonIntegerPropagatorPowersFreeQ[FCI[%]]\frac{1}{((p+q)^2-m^2+i \eta )^2}
\text{True}
SFAD[{q + p, m^2, n}]
FCLoopNonIntegerPropagatorPowersFreeQ[FCI[%]]((p+q)^2-m^2+i \eta )^{-n}
\text{False}
CFAD[{l, m^2, 1/2}]
FCLoopNonIntegerPropagatorPowersFreeQ[FCI[%]]\frac{1}{\sqrt{(l^2+m^2-i \eta )}}
\text{False}