Fix mismatching parentheses in rewrite rule

Note: Didn't actually change the outcome of applying the rewrite rules with CacheSemantics

Author: aaurandt

fret-electron/support/xform.js

@@ -215,8 +215,8 @@ const MLTLFutureTimeSimplifications = [
     ['(__p & __r) => ((__p & (X (! __p))) V __q)', trueFn, '(__p & __r) => ((X (! __p)) V __q)'],
     ['(! __p) => (((! __p) & (X __p)) V __q)', trueFn, '(! __p) => ((X __p) V __q)'],
     ['((! __p) & __r) => (((! __p) & (X __p)) V __q)', trueFn, '((! __p) & __r) => ((X __p) V __q)'],
-    ['__p => ((__p & (X (! __p))) V __r) & __s)', trueFn, '__p => ((X (! __p)) V __r) & __s)'],
-    ['(! __p) => ((((! __p) & (X __p)) V __r) & __s)', trueFn, '(! __p) => ((X __p) V __r) & __s)'],
+    ['__p => (((__p & (X (! __p))) V __r) & __s)', trueFn, '__p => (((X (! __p)) V __r) & __s)'],
+    ['(! __p) => ((((! __p) & (X __p)) V __r) & __s)', trueFn, '(! __p) => (((X __p) V __r) & __s)']
     ['__p => ((__q | (__p & (X (! __p)))) V __r)', trueFn, '__p => ((__q | (X (! __p))) V __r)'],
     ['(__p & __r) => ((__q | (__p & (X (! __p)))) V __s)', trueFn, '(__p & __r) => ((__q | (X (! __p))) V __s)'],
     ['(! __p) => ((__q | ((! __p) & (X __p))) V __r)', trueFn, '(! __p) => ((__q | (X __p)) V __r)'],
@@ -254,8 +254,8 @@ const MLTLFutureTimeSimplifications = [
     ['(__q & (__r & (X __p))) => ((__p & (X (! __p))) V[1, __h] __s)', trueFn, '(__q & (__r & (X __p))) => ((X (! __p)) V[1, __h] __s)'],
     ['(__p & (X (! __p))) => (__q | (((! __p) & (X __p)) V[1,__h] __r))', trueFn, '(__p & (X (! __p))) => (__q | ((X __p) V[1,__h] __r))'],
     ['((! __p) & (X __p)) => (__q | ((__p & (X (! __p))) V[1,__h] __r))', trueFn, '((! __p) & (X __p)) => (__q | ((X (! __p)) V[1,__h] __r))'],
-    ['(__p & (X (! __p))) => ((((! __p) & (X __p)) V[1,__h] __r) & __s)', trueFn, '(__p & (X (! __p))) => ((X __p) V[1,__h] __r) & __s)'],
-    ['((! __p) & (X __p)) => ((__p & (X (! __p))) V[1,__h] __r) & __s)', trueFn, '((! __p) & (X __p)) =>((X (! __p)) V[1,__h] __r) & __s)'],
+    ['(__p & (X (! __p))) => ((((! __p) & (X __p)) V[1,__h] __r) & __s)', trueFn, '(__p & (X (! __p))) => (((X __p) V[1,__h] __r) & __s)'],
+    ['((! __p) & (X __p)) => (((__p & (X (! __p))) V[1,__h] __r) & __s)', trueFn, '((! __p) & (X __p)) =>(((X (! __p)) V[1,__h] __r) & __s)'],
     ['((! __p) & (X __p)) => (((X (! __p)) V[1,__h] ((__q & (__r & (! (__p & (X (! __p)))))) => __s)) & __t)', trueFn, '((! __p) & (X __p)) => (((X (! __p)) V[1,__h] ((__q & (__r & (X __p))) => __s)) & __t)'],
     ['(__p & (X (! __p))) => (((X __p) V[1,__h] ((__q & (__r & (! ((! __p) & (X __p))))) => __s)) & __t)', trueFn, '(__p & (X (! __p))) => (((X __p) V[1,__h] ((__q & (__r & (X (! __p)))) => __s)) & __t)'],
     ['(__p & (X (! __p))) => ((__q | ((((! __p) & (X __p))) V[1,__h] __r)) & __s)', trueFn, '(__p & (X (! __p))) => ((__q | ((X __p) V[1,__h] __r)) & __s)'],