further improvements symbolic intervals