new way of computing the used nodes
memory concumption improved, exact precomputation works for SF