[Jack-Devel] graph simplification using mathematics?