* mini/ast_minijava.ml: misc