*** empty log message ***
empty function added
correct negative pruning
IsElement for non-thin intervals