fully traceable treaps, first try