+ added logic for GreaterEqual branch (rather a skeleton)

I just realized this is the point where an empty interval is needed.