Hopefully fixed bug in preprocess.pl (failed on forall(1:2:1) syntax) I am no PERL hacker...