Computing Approximated Fixpoints via Dampened Mann Iteration