(* Some tests of the Search command *)

SearchHead le.				(* app nodes *)
SearchHead bool. 				(* no apps *)
SearchHead (@eq nat).			(* complex pattern *)