Function cases_with 

pub fn cases_with(name: &str, names: Vec<String>) -> Tactic

cases name with a b as a tactic value.