Fixed yet another bug with loop-exit edge WCET calculations