Added IPG tree-based WCET calculation