clean ups
clean up: kill dead code
do not throw error
make some prototype function names more explicit
make a translator error a kind of wala exception