Add some more transformations.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Wed, 1 Jul 2009 14:35:15 +0000 (16:35 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Wed, 1 Jul 2009 14:35:15 +0000 (16:35 +0200)
Also, restructure the argument simplification a bit, since it turns out
argument extraction applies to builtin functions as well.


No differences found