pub fn solve_with<F>( input: &str, literal_to_bool: F, eles_option: ElesOption) -> Result<bool> where F: Fn(&str) -> Result<bool>,