Added abstract eval stack / tuple domain.