Added planning to improve the use of __VERIFIER_nondet_int()

Signed-off-by: Herbert <herberthb12@gmail.com>