Add constant propagation for strongest postcondition verifier #275

Closed danmatichuk closed 2 years ago