Based on the observation that dynamic invocations are far more costly than
static ones, we have implemented an alternative optimization. Any dynamic
invocations are avoided by generating static source code from accessors after performing
type checks.
The source code is then directly compiled by calling the SUN JAVA
compiler (sun.tools.javac), in a way similar than this is done
in [KMS98] or [TCKI00].