I have no idea why only emitting var declarations of type Number, provided they have only one identifier and no intial expression, would be a reasonable rule for emitting stmts in the PIA tracefile, but this seems to be the case.