Function vampire_get_refutation 

pub unsafe extern "C" fn vampire_get_refutation() -> *mut vampire_unit_t

Get the refutation (proof) after a successful vampire_prove() call. @return The empty clause with inference chain, or NULL if no proof