Support for logic functions and predicates without labels

See merge request frama-c/e-acsl!215

[tests] add -eva-ignore-recursive-calls when testing recursive logic functions (unfortunately removed when the branch was rebased)

Update Frama-CI data

See merge request frama-c/e-acsl!290