Prototype logic programs to extend the capabilities of concretization - View it on GitHub