Towards a plan calculus based intelligent debugging system