Vac Unable To Verify Machine Learning