An unknown side effect describes something that we cannot handle correctly (in all cases).
For example, eval will be marked as an unknown side effect as we have no idea of how it will affect the program.
Linked side effects are used whenever we know that a call may be affected by another one in a way that we cannot
grasp from the dataflow perspective (e.g., an indirect dependency based on the currently active graphic device).
An unknown side effect describes something that we cannot handle correctly (in all cases). For example,
evalwill be marked as an unknown side effect as we have no idea of how it will affect the program. Linked side effects are used whenever we know that a call may be affected by another one in a way that we cannot grasp from the dataflow perspective (e.g., an indirect dependency based on the currently active graphic device).