Moved out bounded trace tests to separate file