The last commit aimed to add a special Frama-C version in which
it is possible to switch useLogicalOperators on and off.
The goal is the same Frama-C can be used for inserting the labels and generating test cases with PathCrawler.