Updating the CIL semantics to match the new semantics of cast.
Solving the Ptr and BasePtr issue.
Merge pull request #31 from radumereuta/castChange

Updating the CIL semantics to match the new semantics of cast.