cover only myria package -- following datalogcompiler