tests/containers: add two new test-cases
util.hh: provide the hasItem() helper to seek item in a vector
sl/fixed_point: highlight loop-closing edges of CFG

... by green color
sl/fixed_point: omit trivial basic blocks

... containing a single goto instruction