Function iterative_compression_ty 

pub fn iterative_compression_ty() -> Expr

IterativeCompression : ParameterizedProblem → Prop FPT via iterative compression: given a size-(k+1) solution, find a size-k one.