Inference.lpts: Assert an equality in comments

The equality then does work.