Hence, use a single level for both, especially as we are dealing with obsolete
constructions here.

A ternary operator is a ternary operator. It doesn't matter whether it is
in term or predicate position

also small refactoring of `term_node` method

No parentheses were placed around x or s, regardless of the form of the
subterms and priorities.

See !2285 for information

[wp] tactic bitwise extended to dis-equality

See merge request frama-c/frama-c!2281

(Problem after a merge from stable/potassium to master)

Update Frama-CI data

See merge request frama-c/frama-c!2278

Avoid using the variable name 'template' as it is a C++ reserved word

See merge request frama-c/frama-c!2279

implement structural comparison for logic_info

Closes #465

See merge request frama-c/frama-c!2233

the shortest list is _smaller_ than the longest one.

[logic-preprocess] take literal backslash (`\\`) into account in ACSL strings

See merge request frama-c/frama-c!2272

[Kernel] fix typos in message

See merge request frama-c/frama-c!2273

Fixes mantis-2307

[Kernel] Normalize asm templates by merging adjacent strings and splitting on newline character

See merge request frama-c/frama-c!2246

Fix/virgile/why3 conf

See merge request frama-c/frama-c!2264

[rte] Do not visit variable declarations; fixes a crash.

See merge request frama-c/frama-c!2261