Define static analysis labels and procedures to process them

[andfoy]

To keep on to the next phase of the project, we would like to do static code analysis, based on a set of inference rules defined by the programmer inside the original source code. To accomplish this task it is necessary to:

1. Extract the inference rules (Defined inside enclosed tags)
2. Implement an inference rule engine which executes alongside the code, allowing to test and prove the program, according to the user defined tags