KSR-style obviousness analysis