fix bug in ScheduleAnalysis.splitSNode()