kindse: use also the rest of clause in overapprox_literal

We used only the literal, but we want to use also the rest of the clause