+test-si: $(MAIN).opt etc
+ @echo " HELENA -d -l -p -o $(INPUT)"
+ $(H)./$(MAIN).opt -T 2 -d -l -p -o $(O) $(INPUT) > etc/log.txt
+
+test-si-matita matita/$(MA): $(MAIN).opt etc
+ @echo " HELENA -d -l -m -p -o $(INPUT)"
+ $(H)./$(MAIN).opt -T 2 -a n -d -l -m $(PREAMBLE) -p -o $(O) $(INPUT) > etc/log.txt
+