Fixed missing join bug in small step CPS analyzer.