#include <acado/symbolic_expression/expression.hpp>#include <acado/symbolic_expression/variable_types.hpp>#include <acado/symbolic_expression/lyapunov.hpp>#include <acado/symbolic_expression/acado_syntax.hpp>#include <acado/symbolic_expression/constraint_component.hpp>#include <acado/symbolic_operator/symbolic_operator.hpp>