commit of verification long standing branch

I agree. I had to comment out an assertion in ```LocalEvaluator#transform(KItem)``` because it failed the ```imp/visitor.k``` test. Do you think that assertion should be enforced?