Implement BackwardSubsumption and intermediate RecyclePivot algorithms

Add both to CLI and include testcases for BackwardSubsumption