Updates in the project

It was applied the following updates:
   - Removed .class from test_cases/primary_tests/
   - Fixed bug in modules/get_data_claims/ClaimsTranslate.py related to upper bound array violation
   - Temporary added a flag to avoid the translation of PRE and POST conditions annotations

Signed-off-by: Herbert <herberthb12@gmail.com>