no choice points in units.pl

units.pl

@@ -35,7 +35,7 @@
    Dimensional analysis infers dimensions for model parameters and checks their consistency.
    In Biocham, only time and volume dimensions are considered, without units.
    The dimension of a molecular concentration is volume$^{-1}$.
-   The dimension of a kinetic expression (i.e. reaction rate or influence force) is time$^{-1}$. 
+   The dimension of a kinetic expression (i.e. reaction rate or influence force) is time$^{-1}$.
    Warning: numbers have no dimension so kinetic parameters should be used in kinetic expressions instead of directly numbers.
 ').
 
@@ -171,7 +171,7 @@ find_parameter_dim(X ^ Y, (DimT, DimV), L) :-
       DT2 = DT,
       DV2 = DV
     ;
-      Y = 1/Z, 
+      Y = 1/Z,
       DT1 = DT,
       DV1 = DV,
       DT2 = DimT,
@@ -274,15 +274,16 @@ find_parameter_dim(M, (DimT, DimV), _) :-
   DimV #= -1.
 
 find_parameter_dim(P, (DimT, DimV), L) :-
-    parameter_value(P, _), %FF should check the expression
-    (
-        member(((DT, DV) - P), L)
-    ->
+  parameter_value(P, _), %FF should check the expression
+  !,
+  (
+    member(((DT, DV) - P), L)
+  ->
     DimT #= DT,
     DimV #= DV
-    ;
+  ;
     print_message(warning, uninitialized_parameter(P)) %FF the dimensions for P should be added to L (using a difference list)
-    ).
+  ).