value flow: inconclusive handling of unknown functions