Data.SBV.Examples.Misc.Auxiliary
problem
allModels
modelsWithYAux