Added Atef's branch

Insert is acting very strangely, there is a version of it in the main
branch and the file Atef's branch.
The main file has a new global constant.