Fix for PR1831: if all defs of an interval are re-materializable, then it's a preferr...