I'd like to be able to use
%M, the name of the input automaton, in the command specifications of
autcross. One use case is something like
genltl --dac | ltl2tgba | autcross "autfilt --somealgo %H>%O" "ltl2tgba '%M' >%O"
where one of the tool passed to autcross computes the output automaton based on the input name.