Encode read-from relations between events

This is an initial encoding for read events that depend on at least
another write event. This encoding differs from the ones in the
literature and further investigation into all these is required.