Add CodeContracts in debug
Refactor
Refactor
Make IsDataLoaded setter  Private
Fix player fail when Open same file
by controling playback with ClockController