Refactored
Better scheduling
hasAlreadyProcessed in JumpFunction does not need prevStmt and thus is committed
Corrected hasAlreadyProcessed
Minor changes
source stmt derived when analysis enters a method