Decidable logics combining heap structures and data