code: private void addBackboneLiteral(final int lit) {
          this.backboneMap.put(var(lit), sign(lit) ? Tristate.FALSE : Tristate.TRUE);
          this.assumptions.push(lit);
      }
docs: Adds the given literal to the backbone result and optionally adds the literal to the solver.
  @param lit literal to add