### Abstract Tree ######################
import jex.Test;
Test.NULL.var;
### Analyzer messages ##################
### Interpretation output ##############


########################################
### INTERPRETATION ERROR ###############
########################################

5.11: field var is accessed on a null pointer