Implements heavy path decomposition @4.5h (refs #1)