Create data structure for series-parallel graphs

Create a doubly-linked binary tree structure that represents the
unrolled control flow graph of a program. Formally, this new data
structure is a directed acyclic series-parallel graph.
init_recorder() reinitializes all static counters