changes to KB_Arc/* and KB_Node