fix lambda lifting by using outermost strategy
change name of main dispatch function