Refactor and move code comment

Move code comment to be inline with the thing it is commenting. Since
this block seems to require a code comment add white space to make it
more clear.

Refactor only, no logic change.

Author: tcharding

src/policy/semantic.rs

@@ -415,9 +415,11 @@ impl<Pk: MiniscriptKey> Policy<Pk> {
 
                 let n = subs.len() - unsatisfied_count - trivial_count; // remove all true/false
                 let m = k.checked_sub(trivial_count).map_or(0, |x| x); // satisfy all trivial
-                                                                       // m == n denotes `and` and m == 1 denotes `or`
+
+                // m == n denotes `and` and m == 1 denotes `or`
                 let is_and = m == n;
                 let is_or = m == 1;
+
                 for sub in subs {
                     match sub {
                         Policy::Trivial | Policy::Unsatisfiable => {}