Found the fixpoint bug, a missing 'reverse', fml. All test cases passing.