From: Matthijs Kooijman <m.kooijman@student.utwente.nl>
Date: Wed, 1 Jul 2009 14:35:15 +0000 (+0200)
Subject: Add some more transformations.
X-Git-Tag: final-thesis~317
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=commitdiff_plain;h=f3d8c0e61d2df140a1c6b83e720629383162e78c;hp=f3d8c0e61d2df140a1c6b83e720629383162e78c

Add some more transformations.

Also, restructure the argument simplification a bit, since it turns out
argument extraction applies to builtin functions as well.
---