FCLoopIBPReducableQ[int]
checks if the integral contains
propagators raised to integer powers.
[q, q - p]
FAD
[FCI[%]] FCLoopIBPReducableQ
\frac{1}{q^2.(q-p)^2}
\text{False}
[{q, 0, 2}, q - p]
FAD
[FCI[%]] FCLoopIBPReducableQ
\frac{1}{\left(q^2\right)^2.(q-p)^2}
\text{True}