Examples that crash the solver