Assertion list
integer (primary) → CapableOf
Results from Ascent++: 46
integer → CapableOf → be a product of primes 0.50
integer → CapableOf → represent index 0.47
integer → CapableOf → overflow vulnerability 0.43
integer → CapableOf → represent the number of sounds 0.38
integer → CapableOf → follow the string 0.35
integer → CapableOf → indicate the number of messages 0.33
integer → CapableOf → represent day 0.33
integer → CapableOf → represent the number of wheels 0.33
integer → CapableOf → specify the number of integer o… 0.33
integer → CapableOf → correspond to the sensor port 0.31
integer → CapableOf → form group 0.31
integer → CapableOf → indicate the mib 0.31
integer → CapableOf → specify next implementation ver… 0.31
integer → CapableOf → appear in each index argument 0.28
integer → CapableOf → be a position number 0.28
integer → CapableOf → get the number of bytes 0.28
integer → CapableOf → provide color information 0.28
integer → CapableOf → represent second 0.28
integer → CapableOf → represent the response code 0.28
integer → CapableOf → represent the year 0.28
integer → CapableOf → specify the number of characters 0.28
integer → CapableOf → write character 0.28
integer → CapableOf → appear on line 0.25
integer → CapableOf → correspond to single sound-group 0.25
integer → CapableOf → correspond to the distance 0.25
integer → CapableOf → form codeword 0.25
integer → CapableOf → get a substring of str 0.25
integer → CapableOf → get larger 0.25
integer → CapableOf → identify the buffer module 0.25
integer → CapableOf → identify the memory module 0.25
integer → CapableOf → indicate the type of event 0.25
integer → CapableOf → initialize random number genera… 0.25
integer → CapableOf → offset in the current 0.25
integer → CapableOf → represent codepoint 0.25
integer → CapableOf → represent cut-off point 0.25
integer → CapableOf → represent the coordinates of st… 0.25
integer → CapableOf → represent the number of cities 0.25
integer → CapableOf → represent the number of inserti… 0.25
integer → CapableOf → represent the number of paramet… 0.25
integer → CapableOf → represent the number of seconds 0.25
integer → CapableOf → represent the temperature 0.25
integer → CapableOf → return the number of times 0.25
integer → CapableOf → specify an ethereum address 0.25
integer → CapableOf → specify the number of digits 0.25
integer → CapableOf → specify the size 0.25
integer → CapableOf → used as unique identifier 0.25