Handle Cond nodes with constant condition.
Added missing include.
Cleanup using C99.
Use bitinfo to simplify the relation of a Cmp.