Limits and difficulties in the design of under-approximation abstract domains