Function raptor::analysis::fixed_point::incoming_results

pub fn incoming_results<'f, Analysis, F, State, V>(
    analysis: &Analysis, 
    function: &'f Function<V>, 
    result: HashMap<ProgramLocation, State>, 
    new_state: F
) -> Result<HashMap<ProgramLocation, State>> where
    Analysis: FixedPointAnalysis<'f, State, V>,
    F: Fn() -> State,
    State: 'f + Clone + Debug + PartialOrd,
    V: Value, 

We are computing out-going results, but sometimes we want in-coming results. This takes a fixed-point result for out-going results, and turns it into a result for incoming results.