pub fn calculate<'a, PredFn: Fn(Block) -> &'a [Block]>( preds: PredFn, post_ord: &[Block], start: Block, ) -> PerEntity<Block, Block>