Merge branch 'fix/virgile/stmt-contract-ternary-op' into 'master'

[typing] Do not inline inner block if previous statement is a code annotation applying to its whole next statement

Closes #836

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