Open Alex-Fischman opened 5 months ago
Right now the theta passthrough rule is commented out because it's unsound when the loop doesn't terminate. Fix this by only firing the rule when we know that the loop terminates.
Right now the theta passthrough rule is commented out because it's unsound when the loop doesn't terminate. Fix this by only firing the rule when we know that the loop terminates.