extern bool sort_equal (sort p_s1, sort p_s2) /*@*/ ;
extern sort sort_fromLsymbol (lsymbol p_sortid) /*@modifies internalState@*/ ;
extern bool sort_equal (sort p_s1, sort p_s2) /*@*/ ;
extern sort sort_fromLsymbol (lsymbol p_sortid) /*@modifies internalState@*/ ;