pub fn generate(program: &TypedProgram) -> KoreResult<String>
Generate USF code from typed KORE program