Renamed files in Ex04
Added causality violation detection to Ex0503