Approximations in Learning & Program Analysis