Forward reachability collecting semantics of SIL