Function flatzinc::convert_error

pub fn convert_error(input: &str, e: VerboseError<&str>) -> String

transforms a VerboseError into a trace with input position information