Rule iqnjxnothxhdjpea

[id: iqnjxnothxhdjpea] i(!swa $x) => evalOutput(ai_shortestWithoutAppellations(unquote($x)))

Loaded as

[id: iqnjxnothxhdjpea] input(!swa $x) && $_1 = eval(ai_shortestWithoutAppellations(unquote($x))) => output($_1)