code: private static Map<Literal, Integer> nonCachingLiteralProfile(final Formula formula) {
      final SortedMap<Literal, Integer> map = new TreeMap<>();
      nonCachingRecursion(formula, map);
      return map;
    }
docs: The non-caching implementation of the literal profile computation.  In this case the result map is only
  constructed once and results are just added to it.
  @param formula the formula
  @return the literal profile