OPiMedia/efficient-parallel-abstract-interpreter-in-scala archive