Optimize finding infinite models and add a picture to readme