[@ tailcall]: updated test w50.ml to test the preprocessing of [%tailcall]