test on Rules.py, update ESN.tex