Adding const whenever it is necessary

[Koldar]

We should add "const" qualifier to every function parameter when needed.
This should transmit even more what is the code intent.

The following is a list of places where the const might be introduced:

1. parseCommandLineArguments
2. condition_section