Predicate RandomUsedOnce::generateRandomNumberMethod

predicate generateRandomNumberMethod(string s)