Improved readability by using a decorator

Ignore-this: 520f433db1cce37f2cf5eee13c462ace

darcs-hash:20100914171936-b22ec-9f11afbde0e4dc8b2eb81e9052053ad6e3de9c0c
Enable ICE by default

Ignore-this: 54af877b8a5935aa94cbe0c7c0d2688f

darcs-hash:20100915194054-58252-cd0014676f5145b43221345564e0578557811fe1