let rec origin n = match n.from with | [] -> n | (_,_, p)::_ -> if p.kind = Approx then p else origin p