Scope-Tree: A Program Representation for Symbolic Worst-Case Execution Time Analysis