Property information
p is immediately causally upstream of q iff both (a) p immediately precedes q and (b) p is causally upstream of q. In addition, the output of p must be an input of q.
p is immediately causally upstream of q iff p is causally upstream of q, and the end of p is coincident with the beginning of q.