Under and Over Approximation of State Models Recovered for Ajax Applications