public void putNegate(State s, Object... objects) {
        if (!hasNegate) {
            hasNegate = true;
            negateMap = HashMultimap.create();
        }
        for (Object o : objects) {
            negateMap.put(s, o);
        }
    }