Using Cristal framework to implement a boolean constant propagation.