Added fn heights as prerequisite for propagation in topological order