pub fn elaborate(src: &str, path: &str, output: &BatchOutput) -> Result<bool>
Run the doublett elaborator in batch mode