Add Contract.Requires to CanBeFurtherTraversed method