.. Inference compiler: output correct assertions to InferenceGraph