type expression = | Assignment of identifier| ClassInstanceCreation of Javalib_pack.JBasics.class_name| ArrayCreation of Javalib_pack.JBasics.value_type| MethodInvocationNonVirtual of Javalib_pack.JBasics.class_name
* Javalib_pack.JBasics.method_signature| MethodInvocationVirtual of Javalib_pack.JBasics.object_type
* Javalib_pack.JBasics.method_signature| ArrayAccess of Javalib_pack.JBasics.value_type option| ArrayStore of Javalib_pack.JBasics.value_type option| InstanceOf of Javalib_pack.JBasics.object_type| Cast of Javalib_pack.JBasics.object_typetype statement = | If| Catch of Javalib_pack.JBasics.class_name| Finally| Switch| Synchronized of bool| Return| Throw