Core:
 * Control Flow is now a hyper-edge type.
 * Control Flow has a Conjunction Enumeration Attribute, values AND, OR,
XOR.