let justification s x = 
  match x with
    | App _ -> raise Not_found
    | _ -> Map.find x s.find