Function Interpreter::check_for_controlled_exo_validity() would give incorrect
results because the sconstrained_extended_path structure was containing 1-based
variable indices (it is expecting 0-based ones).

This prevents a name clash with some function-local variables also named “b”.

They’re not implemented in bytecode.

Closes: #1884

This fixes an ambiguity due to C++20 rewriting rules.

The implicit conversion from Vector to ConstVector, in addition to the
rewriting rules and ConstVector::operator<=>, ensure that those are no longer
needed.

Those are no longer needed thanks to expression rewriting.

Also minor improvements to solve_algo description.

Also ensure that guards are not reserved identifiers (i.e. starting with an
underscore).

Automatically detected by clang-tidy using performance-unnecessary-value-param
and performance-move-const-arg checks.

Automatically detected by clang-tidy with performance-noexcept-move-constructor
check.

Such calls may bypass virtual dispatch.

Automatically detected by clang-tidy with
clang-analyzer-optin.cplusplus.VirtualCall check.

Dynare++ is no longer distributed as a standalone binary.

Automatically detected by clang-tidy with modernize-use-auto check.

Automatically detected by clang-tidy with modernize-return-braced-init-list
check.

Automatically detected by clang-tidy with modernize-pass-by-value check.

Automatically detected by clang-tidy with modernize-use-default-member-init
check.

Automatically detected by clang-tidy with modernize-use-override check.

Automatically detected by clang-tidy using modernize-use-transparent-functors
check.

Automatically detected by clang-tidy using
clang-diagnostic-unused-but-set-variable, clang-analyzer-deadcode.DeadStores
and clang-diagnostic-unused-const-variable checks.

Automatically detected by clang-tidy using modernize-avoid-c-arrays check.

Automatically detected using clang-tidy with modernize-use-nodiscard check.

That header is needed from DynamicModelCaller.hh.

Issue detected by clang-tidy.