Update SPA/PKB.cpp

updated to include functions for calltable and modifies/uses integration