[Eva] Do not disable all logic reductions when plevel is set to 0.

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