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