BACK-PROPAGATE-ONE-DX-LVAR isn't back-propagating correctly because this test case includes a loop consisting of more than one block, thus triggering the "duplicate edge in path" case for the pathwise back-propagation, which is there to keep the compiler from going into an infinite loop.
BACK-PROPAGATE- ONE-DX- LVAR isn't back-propagating correctly because this test case includes a loop consisting of more than one block, thus triggering the "duplicate edge in path" case for the pathwise back-propagation, which is there to keep the compiler from going into an infinite loop.