pub fn compute_post_order_pass(
    context: &Context<'_>,
    _: &AnalysisResults,
    function: Function
) -> Result<AnalysisResult, IrError>