Add a large jml file for compiler test