When resolving bounds with difference the upper bound cannot be used directly; any other problematic operators?
