Correction of the values got from Literals to insert into the database: we...
- Correction of the bug with coreFrozenTest: the method "merged" in SubstitutionImpl returned the substitution itself instead of doing a copy when the other substitution was empty, which caused side effects in the BacktrackEvaluator
- Correction of the values got from Literals to insert into the database: we insert the value instead of the label
- Adding better exceptions into the chase
- Small improvements in the stores and CSVParser