add asInstanceOfs to widen stack slots at jumps

test1c compiles but fails with npe