Function fvs_parameterized_ty 

pub fn fvs_parameterized_ty() -> Expr

FVSParameterizedByK : ParameterizedProblem The FVS problem parameterized by solution size k — in FPT.