Started implementation of ILP inference for Pr (Z | Y,X)