added tests for inequality
removed comparison expressions and added expressions that represent eflag bits instead
added break and continue statements
added tests for nested loops
added a few simplification to support special eflags expressions
separated architecture specific details from the flow_t code.
added proper support for conditional branch instructions