added interpretation to abstract interpretatin if computation time is low