abort missiong for backward chaining
bc_runner
rewritten backward chaining, added tests