Function statement_invalidates_relevant 

fn statement_invalidates_relevant(
    statement: &Statement<'_>,
    relevant: &RelevantPlaces,
) -> bool