(* SEQUENTIAL REDUCTION (SINGLE STEP) ***************************************)
(* Note: the application "(A B)" is represented by "@B.A" following:
(* SEQUENTIAL REDUCTION (SINGLE STEP) ***************************************)
(* Note: the application "(A B)" is represented by "@B.A" following: