Fixes a Frama-C crash in Ivette when selecting an AST element that cannot be
evaluated into an Eva value.