Signal propagation after topological sorting

Tries to address #4 .