Fixed bug with WCET calculation