Introduce PRED_LAST for future implementation
When over is implemented, it can be handled just like dup

- It's just a matter of setting the right src and dst.
Warning about incompatible domain comparisons should be done in op.cc

- value.cmp is used for more than just implementation of pred_lt etc.
Fix comparison of value_cst
Support count