TAG: KSR-style obviousness analysis