Updated the name of the file
Removed parse.ml from git
Formulation without restricted parallelism is done