createDracoProgram = function(data) {
let schema = Draco.data2schema(data);
let asp = Draco.schema2asp(schema);
let index = 0;
for (var key in schema.stats) {
asp.push("\nencoding(e"+index+").\n:- not field(e"+index+',"'+key+'").');
index += 1;
}
let out = asp.join("\n");
console.log("out", out);
return out;
}