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