TODO: remove bendable foldings to reduce search space