Introduce gimple_cond and use it in various places