Fixes #1295. Mark undef values as varying in ccp.

* Undef now marked as varying in ccp
 * this prevents incorrect meet operations since phis were always not
 interesting
* added a test to catch the bug