The dark side of Interval Temporal Logics: sharpening the undecidability border