Function lower_main 

pub fn lower_main(src: &str) -> Result<(WProgConfig, Vec<String>), String>

Lower a whole ## Main program and PROVE the engine model prints exactly what the VM prints before a byte is emitted: the output tape rendered line by line == vm_outcome(src).output.