Now able to cancel f-in-b focused inference tasks using cancel-infer-of.
Forward focused reasoning working. Added cancel-infer-from to cancel it.