Vampire 4.2

http://www.cs.miami.edu/~tptp/CASC/26/Entrants.html

ALWAYS(_varOccs.insert(vs.next(),{false,nullptr}));
ALWAYS(_varOccs.insert(var,{true,nullptr}));