Implemented tarval computation for Minus nodes