Fix order of `ev_vars`

This fixes failing test ExtraConstraints1