Also accept a `end_of_file` term when compiling runtime terms