Function vampire_false 

pub unsafe extern "C" fn vampire_false() -> *mut vampire_formula_t

Create a false (contradiction) formula. @return Formula handle