Lift subst function
Convert alpha function using choice computation expression