X-Midas Users Take Note:
Like NeXtMidas, X-Midas implements FORALL via a macro and has similar restrictions on how it can be used.