+### `--semi-global`
+Enable all semi-global optimizations.
+
+### `--rta`
+Activate RTA (Rapid Type Analysis).
+
+This option only make sense in `--erasure` to enable some semi-global optimizations.
+
+RTA is implicitly enabled in `--separate` and `--global`.
+
+### `--inline-coloring-numbers`
+Inline colors and ids (semi-global).
+
+### `--inline-some-methods`
+Allow the separate compiler to inline some methods (semi-global).
+Need `--rta`.
+
+### `--direct-call-monomorph`
+Allow the separate compiler to direct call monomorphic sites (semi-global).
+Need `--rta`.
+
+### `--skip-dead-methods`
+Do not compile dead methods (semi-global).
+Need `--rta`.