Revert "Solving the Ptr and BasePtr issue."

This reverts commit 27dbf54b3d82c72b5adf7a2f5c415d04ab9966f3.
Revert "Updating the CIL semantics to match the new semantics of cast."

This reverts commit 7804ccb2f4ec387041fe9b07691bb29d8e202920.
added verification files