Outline of the changes to  be made to Hoffmann to implement ILP
inference. Creating new files for the same with the previous code
itself. This needs to be replaced with ILP-based inference.