Function validate_and_disassemble 

pub fn validate_and_disassemble<N: Network>(
    name: impl Display,
    program: Program<N>,
    process: &mut Process<N>,
) -> Result<AleoProgram, LeoError>

Validate program via process.add_program and disassemble. Same add_program + disassemble tail as disassemble_from_str, but accepts an already-parsed Program so callers that need to peek at imports first (to build a topological load order, say) don’t pay for a re-parse. process must already have all of program’s declared imports loaded.