Dead lane inserting progress

Probably ready, next step: checking correctness via debugging
+ Added Converer from unconditional jump to conditional
But the conditions are still not so smart