Update SPA/PKB.h

updated pkb to include functions for call and modifies/uses integration