Need to debug the fix-fact context float-inwards code, as it's not properly working for 'not sorted_tree(t) ==> not sorted_tree(t)'