SSACFGBuilder: Descent into constant condition for loops' conditions

[clonker]

Things like this will not validate otherwise as true has then no literal value id associated to it:

object "object" {
    code {
        {
            for { } true { }
            {
                if iszero(addmod(keccak256(0x0, create(0x0, 0x0, 0x0)), 0x0, 0x0)) { break }
            }
        }
    }
}