Add regressions for finite model finding