Remove extra definitions of issorted and in.