start removing clash_var from ml_hol_kernelScript.sml