let sym_of a = 
    match a with App(f,_, _) -> f | _ -> raise Not_found