Non-VAR arguments are read-only in Eberon.
Type narrowing in ELSIF fix.