Function check 

pub fn check(graph: &Graph, lock: &Lock) -> Vec<Finding>

Findings are sorted by (kind, target_kind, target, reason).