TODO: fix DeserializerForDecompiler