reverted id in ast2json