pub fn check(file: &str, v_ser_fun: &[&SerFunction])
Get kani list and check if it complies with Vec.