Convert control edges into data edges

[tiagolascasas]

Control edges are always predicated on a single boolean variable, which means that we can just model them as regular data edges with the variable as its data item.