Function vampire_true 

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

Create a true (tautology) formula. @return Formula handle