Mobilizing Verify's Tests With Foundation