included simple-typed-dynamic for the Java backend into the regression test suite
Java backend: (partial) fix for the bug that variable instantiation could happen during concrete execution; now simple-typed-dynamic should work in Java backend