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