produces:
ffa_ch15_gcd.kv
(ffa) ffa/libffa/fz_pred.adb
consumes:
ffa_ch16_miller_rabin.kv
(ffa) ffa/libffa/fz_pred.adb