I think fixpoint invention is now working properly. The test cases are passing at least.