Properly deal with negated patterns in options.load