valallParams: List[Product with Serializable with Param { type Value >: Option[Int] with Int with ap.theories.ADT.TermMeasure.Value with ap.parameters.Param.MulProcedure.Value with ap.parameters.Param.NonLinearSplitting.Value with ap.parameters.Param.NegSolvingOptions.Value with ap.parameters.Param.PortfolioOptions.Value with Boolean with ap.parameters.Param.TriggerStrategyOptions.Value with String with ap.parameters.Param.FunctionGCOptions.Value with ap.parameters.Param.TriggerGenerationOptions.Value with ap.parameters.Param.ProofConstructionOptions.Value with ap.parameters.Param.ClausifierOptions.Value with ap.parameters.Param.ConstraintSimplifierOptions.Value with ap.parameters.Param.InputFormat.Value }]