[trans] Remove useless transformation sequencing.

src/transformations/native_nn_prover.ml

@@ -93,7 +93,7 @@ let simplify_goal env input_variables =
     None
 
 let trans_nn_apply env =
-  Trans.seq [ Trans.bind Utils.get_input_variables (simplify_goal env) ]
+  Trans.bind Utils.get_input_variables (simplify_goal env)
 
 (* Create logic symbols for output variables and simplify the formula. *)
 let simplify_goal _env input_variables =
@@ -175,4 +175,4 @@ let simplify_goal _env input_variables =
     None
 
 let trans_nn_classifier env =
-  Trans.seq [ Trans.bind Utils.get_input_variables (simplify_goal env) ]
+  Trans.bind Utils.get_input_variables (simplify_goal env)