Simplified backward-infer, now works as it says in GKR/LNAI paper.