SC-Square: Future Progress with Machine Learning?