This file has the new improvement
for the predecesors finding
Creating new functions for constants
getconst and getconst' are functions for get the constants in a program