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