Added sets of predicates automatically abduced by a cyclist program prover.