FIX: halting with function composition should work now