In ByteCodeGen, correctly passthru AnnCast in all relevant places, so the previous...