Function terminator_is_path_condition 

fn terminator_is_path_condition(terminator: &Terminator<'_>) -> bool