value flow: some simplifications in unknown functions when there is library configuration