Constant MAX_PERMUTE_VARS 

const MAX_PERMUTE_VARS: usize = 6;

Largest number of variables accepted in PERMUTE(...).

PERMUTE expands to the alternation of all n! orderings of its variables, so the NFA grows factorially.