Function veriwasm::checkers::resolve_jumps

pub fn resolve_jumps(
    program: &ModuleData, 
    result: AnalysisResult<SwitchLattice>, 
    irmap: &IRMap, 
    analyzer: &SwitchAnalyzer
) -> HashMap<u64, Vec<i64>>