put file in right place
Added benchmark for CanTraverseValues