Extend implementation of insert with priority proof