semantic: Handle a unary case used by assert transformations in CFG.