imperative concepts in Aesara

Control flow is an imperative concept when our symbolic programs is purely descriptive: they do not execute computations but describe how they should be executed. Imperative concepts creep up at several places in Aesara:

• Scan loops;
• IfElse;
• Shared variables ;