Skip to content
Browse files

Merge branch 'master' of github.com:gkossakowski/virtualization-lms-core

  • Loading branch information...
2 parents 814ca78 + cc9d1bc commit 0383398426ae0d52d5b630ebe38ccdaba3c264a3 @namin namin committed Mar 13, 2012
Showing with 137 additions and 152 deletions.
  1. +4 −19 build.sbt
  2. +1 −1 project/build.properties
  3. +102 −102 test-out/epfl/test9-struct2b.check
  4. +30 −30 test-out/epfl/test9-struct3.check
View
23 build.sbt
@@ -4,22 +4,7 @@ organization := "scala"
version := "0.1"
-//--- Local Scala
-
-scalaHome <<= baseDirectory { f =>
- val props = new java.util.Properties()
- IO.load(props, f / "local.properties")
- val x = props.getProperty("scala.virtualized.home")
- if (x == null)
- sys.error("Did you forget to set scala.virtualized.home property in local.properties file?")
- else Some(file(x))
-}
-
-scalacOptions in Test <+= scalaHome map (_.map(f => "-Xplugin:"+f+"/misc/scala-devel/plugins/continuations.jar").get)
-
-//--- End of Local Scala
-
-scalaVersion := "2.10.0-virtualized-SNAPSHOT"
+scalaVersion := "2.10.0-M2-0020-geab3b7e4d7-2012-03-06"
//--- Paths
@@ -44,7 +29,7 @@ resolvers ++= Seq(
libraryDependencies += "org.scalatest" % "scalatest_2.10.0-virtualized-SNAPSHOT" % "1.6.1-SNAPSHOT" % "test"
-libraryDependencies += "org.scala-lang" % "scala-compiler" % "2.10.0-virtualized-SNAPSHOT"
+libraryDependencies += "org.scala-lang" % "scala-compiler" % "2.10.0-M2-0020-geab3b7e4d7-2012-03-06"
//--- End of Dependencies
@@ -62,8 +47,8 @@ publishArtifact in (Compile, packageDoc) := false
//Uncomment the following two lines if you are not using local Scala
-//autoCompilerPlugins := true
+autoCompilerPlugins := true
-//addCompilerPlugin("org.scala-lang.plugins" % "continuations" % "2.10.0-virtualized-SNAPSHOT")
+addCompilerPlugin("org.scala-lang.plugins" % "continuations" % "2.10.0-M2-0020-geab3b7e4d7-2012-03-06")
scalacOptions in Test += "-P:continuations:enable"
View
2 project/build.properties
@@ -1 +1 @@
-sbt.version=0.11.0
+sbt.version=0.11.2
View
204 test-out/epfl/test9-struct2b.check
@@ -26,39 +26,39 @@ TTP(List(Sym(36)),ThinDef(Reflect(Print(Sym(29)),Summary(true,true,false,false,f
TTP(List(Sym(37)),ThinDef(Reify(Sym(36),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(13), Sym(14), Sym(26), Sym(30), Sym(31), Sym(32), Sym(33), Sym(35), Sym(36)))))
wtableneg: List()
partitions: List(TTP(List(Sym(10), Sym(11), Sym(4), Sym(5)),SimpleFatLoop(Const(100),Sym(7),List(ArrayElem(Sym(8)), ArrayElem(Sym(7)), ArrayElem(Sym(1)), ArrayElem(Sym(2))))))
-skipping mirror operation Sym(8)=Minus(Const(0.0),Sym(7)) syms Sym(7) subst Sym(7) -> Sym(7),Sym(1) -> Sym(7)
+skipping mirror operation Sym(8)=Minus(Const(0.0),Sym(7)) syms Sym(7) subst Sym(1) -> Sym(7),Sym(7) -> Sym(7)
need to transform rhs of fat loop: List(Sym(10)), List(ArrayElem(Sym(8)))
-skipping mirror operation Sym(10)=SimpleLoop(Const(100),Sym(7),ArrayElem(Sym(8))) syms Sym(8) subst Sym(7) -> Sym(7),Sym(1) -> Sym(7)
-came up with: List(Sym(10)), List(ArrayElem(Sym(8))) with subst Sym(7) -> Sym(7),Sym(1) -> Sym(7)
-skipping mirror operation Sym(13)=Reflect(NewVar(Sym(10)),Summary(false,false,false,false,true,List(),List(),List(),List()),List()) syms Sym(10) subst Sym(7) -> Sym(7),Sym(1) -> Sym(7)
+skipping mirror operation Sym(10)=SimpleLoop(Const(100),Sym(7),ArrayElem(Sym(8))) syms Sym(8) subst Sym(1) -> Sym(7),Sym(7) -> Sym(7)
+came up with: List(Sym(10)), List(ArrayElem(Sym(8))) with subst Sym(1) -> Sym(7),Sym(7) -> Sym(7)
+skipping mirror operation Sym(13)=Reflect(NewVar(Sym(10)),Summary(false,false,false,false,true,List(),List(),List(),List()),List()) syms Sym(10) subst Sym(1) -> Sym(7),Sym(7) -> Sym(7)
need to transform rhs of fat loop: List(Sym(11)), List(ArrayElem(Sym(7)))
-skipping mirror operation Sym(11)=SimpleLoop(Const(100),Sym(7),ArrayElem(Sym(7))) syms Sym(7) subst Sym(7) -> Sym(7),Sym(1) -> Sym(7)
-came up with: List(Sym(11)), List(ArrayElem(Sym(7))) with subst Sym(7) -> Sym(7),Sym(1) -> Sym(7)
-skipping mirror operation Sym(14)=Reflect(NewVar(Sym(11)),Summary(false,false,false,false,true,List(),List(),List(),List()),List()) syms Sym(11) subst Sym(7) -> Sym(7),Sym(1) -> Sym(7)
-skipping mirror operation Sym(16)=OrderingGT(Sym(0),Const(7)) syms Sym(0) subst Sym(7) -> Sym(7),Sym(1) -> Sym(7)
-skipping mirror operation Sym(17)=Reflect(Print(Const(foobar true)),Summary(true,true,false,false,false,List(),List(),List(),List()),List()) syms subst Sym(7) -> Sym(7),Sym(1) -> Sym(7)
-skipping mirror operation Sym(24)=Reify(Const(()),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(17))) syms Sym(17) subst Sym(7) -> Sym(7),Sym(1) -> Sym(7)
-skipping mirror operation Sym(20)=Reflect(ReadVar(Variable(Sym(13))),Summary(false,false,false,false,false,List(Sym(13)),List(Sym(13)),List(),List()),List(Sym(13))) syms Sym(13),Sym(13) subst Sym(7) -> Sym(7),Sym(1) -> Sym(7)
-skipping mirror operation Sym(21)=Reflect(ReadVar(Variable(Sym(14))),Summary(false,false,false,false,false,List(Sym(14)),List(Sym(14)),List(),List()),List(Sym(14))) syms Sym(14),Sym(14) subst Sym(7) -> Sym(7),Sym(1) -> Sym(7)
-skipping mirror operation Sym(19)=Reflect(Print(Const(foobar false)),Summary(true,true,false,false,false,List(),List(),List(),List()),List()) syms subst Sym(7) -> Sym(7),Sym(1) -> Sym(7)
-skipping mirror operation Sym(25)=Reify(Const(()),Summary(true,true,false,false,false,List(Sym(13), Sym(14)),List(Sym(13), Sym(14)),List(),List()),List(Sym(19), Sym(20), Sym(21))) syms Sym(19),Sym(20),Sym(21) subst Sym(7) -> Sym(7),Sym(1) -> Sym(7)
+skipping mirror operation Sym(11)=SimpleLoop(Const(100),Sym(7),ArrayElem(Sym(7))) syms Sym(7) subst Sym(1) -> Sym(7),Sym(7) -> Sym(7)
+came up with: List(Sym(11)), List(ArrayElem(Sym(7))) with subst Sym(1) -> Sym(7),Sym(7) -> Sym(7)
+skipping mirror operation Sym(14)=Reflect(NewVar(Sym(11)),Summary(false,false,false,false,true,List(),List(),List(),List()),List()) syms Sym(11) subst Sym(1) -> Sym(7),Sym(7) -> Sym(7)
+skipping mirror operation Sym(16)=OrderingGT(Sym(0),Const(7)) syms Sym(0) subst Sym(1) -> Sym(7),Sym(7) -> Sym(7)
+skipping mirror operation Sym(17)=Reflect(Print(Const(foobar true)),Summary(true,true,false,false,false,List(),List(),List(),List()),List()) syms subst Sym(1) -> Sym(7),Sym(7) -> Sym(7)
+skipping mirror operation Sym(24)=Reify(Const(()),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(17))) syms Sym(17) subst Sym(1) -> Sym(7),Sym(7) -> Sym(7)
+skipping mirror operation Sym(20)=Reflect(ReadVar(Variable(Sym(13))),Summary(false,false,false,false,false,List(Sym(13)),List(Sym(13)),List(),List()),List(Sym(13))) syms Sym(13),Sym(13) subst Sym(1) -> Sym(7),Sym(7) -> Sym(7)
+skipping mirror operation Sym(21)=Reflect(ReadVar(Variable(Sym(14))),Summary(false,false,false,false,false,List(Sym(14)),List(Sym(14)),List(),List()),List(Sym(14))) syms Sym(14),Sym(14) subst Sym(1) -> Sym(7),Sym(7) -> Sym(7)
+skipping mirror operation Sym(19)=Reflect(Print(Const(foobar false)),Summary(true,true,false,false,false,List(),List(),List(),List()),List()) syms subst Sym(1) -> Sym(7),Sym(7) -> Sym(7)
+skipping mirror operation Sym(25)=Reify(Const(()),Summary(true,true,false,false,false,List(Sym(13), Sym(14)),List(Sym(13), Sym(14)),List(),List()),List(Sym(19), Sym(20), Sym(21))) syms Sym(19),Sym(20),Sym(21) subst Sym(1) -> Sym(7),Sym(7) -> Sym(7)
need to transform rhs of fat loop: List(Sym(4)), List(ArrayElem(Sym(1)))
--> replace Sym(4)=SimpleLoop(Const(100),Sym(1),ArrayElem(Sym(1))) by Sym(11)=SimpleLoop(Const(100),Sym(7),ArrayElem(Sym(7)))
lhs changed! will add to innerScope:
-came up with: List(Sym(11)), List(ArrayElem(Sym(7))) with subst Sym(7) -> Sym(7),Sym(4) -> Sym(11),Sym(1) -> Sym(7)
+came up with: List(Sym(11)), List(ArrayElem(Sym(7))) with subst Sym(4) -> Sym(11),Sym(1) -> Sym(7),Sym(7) -> Sym(7)
--> replace Sym(2)=Minus(Const(0.0),Sym(1)) by Sym(8)=Minus(Const(0.0),Sym(7))
need to transform rhs of fat loop: List(Sym(5)), List(ArrayElem(Sym(2)))
--> replace Sym(5)=SimpleLoop(Const(100),Sym(1),ArrayElem(Sym(2))) by Sym(10)=SimpleLoop(Const(100),Sym(7),ArrayElem(Sym(8)))
lhs changed! will add to innerScope:
-came up with: List(Sym(10)), List(ArrayElem(Sym(8))) with subst Sym(2) -> Sym(8),Sym(5) -> Sym(10),Sym(7) -> Sym(7),Sym(4) -> Sym(11),Sym(1) -> Sym(7)
+came up with: List(Sym(10)), List(ArrayElem(Sym(8))) with subst Sym(4) -> Sym(11),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(7) -> Sym(7),Sym(2) -> Sym(8)
need to transform rhs of fat if/then/else: List(Sym(26), Sym(27), Sym(28)), if Sym(16) then List(Sym(24), Sym(4), Sym(5)) else List(Sym(25), Sym(20), Sym(21))
-skipping mirror operation Sym(26)=Reflect(IfThenElse(Sym(16),Sym(24),Sym(25)),Summary(true,true,false,false,false,List(Sym(13), Sym(14)),List(),List(),List()),List(Sym(13), Sym(14))) syms Sym(16),Sym(24),Sym(25),Sym(13),Sym(14) subst Sym(2) -> Sym(8),Sym(5) -> Sym(10),Sym(7) -> Sym(7),Sym(4) -> Sym(11),Sym(1) -> Sym(7)
+skipping mirror operation Sym(26)=Reflect(IfThenElse(Sym(16),Sym(24),Sym(25)),Summary(true,true,false,false,false,List(Sym(13), Sym(14)),List(),List(),List()),List(Sym(13), Sym(14))) syms Sym(16),Sym(24),Sym(25),Sym(13),Sym(14) subst Sym(4) -> Sym(11),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(7) -> Sym(7),Sym(2) -> Sym(8)
--> replace Sym(27)=Phi(Sym(16),Sym(24),Sym(4),Sym(25),Sym(20)) by Sym(38)=Phi(Sym(16),Sym(24),Sym(11),Sym(25),Sym(20))
--> replace Sym(28)=Phi(Sym(16),Sym(24),Sym(5),Sym(25),Sym(21)) by Sym(39)=Phi(Sym(16),Sym(24),Sym(10),Sym(25),Sym(21))
lhs changed! will add to innerScope: TP(Sym(38),Phi(Sym(16),Sym(24),Sym(11),Sym(25),Sym(20))),TP(Sym(39),Phi(Sym(16),Sym(24),Sym(10),Sym(25),Sym(21)))
-- fatten effectful if/then/else TP(Sym(26),Reflect(IfThenElse(Sym(16),Sym(24),Sym(25)),Summary(true,true,false,false,false,List(Sym(13), Sym(14)),List(),List(),List()),List(Sym(13), Sym(14))))
-- fatten effectful if/then/else TP(Sym(26),Reflect(IfThenElse(Sym(16),Sym(24),Sym(25)),Summary(true,true,false,false,false,List(Sym(13), Sym(14)),List(),List(),List()),List(Sym(13), Sym(14))))
-came up with: List(Sym(26), Sym(38), Sym(39)), if Sym(16) then List(Sym(24), Sym(11), Sym(10)) else List(Sym(25), Sym(20), Sym(21)) with subst Sym(2) -> Sym(8),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(7) -> Sym(7),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(1) -> Sym(7)
+came up with: List(Sym(26), Sym(38), Sym(39)), if Sym(16) then List(Sym(24), Sym(11), Sym(10)) else List(Sym(25), Sym(20), Sym(21)) with subst Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(7) -> Sym(7),Sym(2) -> Sym(8),Sym(28) -> Sym(39)
--> replace Sym(30)=Reflect(Assign(Variable(Sym(13)),Sym(4)),Summary(false,false,false,false,false,List(Sym(13)),List(Sym(13)),List(Sym(13)),List(Sym(13))),List(Sym(13), Sym(26))) by Sym(40)=Reflect(Assign(Variable(Sym(13)),Sym(11)),Summary(false,false,false,false,false,List(Sym(13)),List(Sym(13)),List(Sym(13)),List(Sym(13))),List(Sym(13), Sym(26)))
--> replace Sym(31)=Reflect(Assign(Variable(Sym(14)),Sym(5)),Summary(false,false,false,false,false,List(Sym(14)),List(Sym(14)),List(Sym(14)),List(Sym(14))),List(Sym(14), Sym(26))) by Sym(41)=Reflect(Assign(Variable(Sym(14)),Sym(10)),Summary(false,false,false,false,false,List(Sym(14)),List(Sym(14)),List(Sym(14)),List(Sym(14))),List(Sym(14), Sym(26)))
--> replace Sym(32)=Reflect(ReadVar(Variable(Sym(13))),Summary(false,false,false,false,false,List(Sym(13)),List(Sym(13)),List(),List()),List(Sym(13), Sym(30))) by Sym(42)=Reflect(ReadVar(Variable(Sym(13))),Summary(false,false,false,false,false,List(Sym(13)),List(Sym(13)),List(),List()),List(Sym(13), Sym(40)))
@@ -68,101 +68,101 @@ came up with: List(Sym(26), Sym(38), Sym(39)), if Sym(16) then List(Sym(24), Sym
--> replace Sym(29)=SimpleStruct(List(Array, Complex),Map(re -> Sym(27), im -> Sym(28))) by Sym(46)=SimpleStruct(List(Array, Complex),Map(re -> Sym(38), im -> Sym(39)))
--> replace Sym(36)=Reflect(Print(Sym(29)),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(26), Sym(35))) by Sym(47)=Reflect(Print(Sym(46)),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(26), Sym(45)))
--> replace Sym(37)=Reify(Sym(36),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(13), Sym(14), Sym(26), Sym(30), Sym(31), Sym(32), Sym(33), Sym(35), Sym(36))) by Sym(48)=Reify(Sym(47),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(13), Sym(14), Sym(26), Sym(40), Sym(41), Sym(42), Sym(43), Sym(45), Sym(47)))
-skipping mirror operation Sym(8)=Minus(Const(0.0),Sym(7)) syms Sym(7) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
+skipping mirror operation Sym(8)=Minus(Const(0.0),Sym(7)) syms Sym(7) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
need to transform rhs of fat loop: List(Sym(10)), List(ArrayElem(Sym(8)))
-skipping mirror operation Sym(10)=SimpleLoop(Const(100),Sym(7),ArrayElem(Sym(8))) syms Sym(8) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-came up with: List(Sym(10)), List(ArrayElem(Sym(8))) with subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(13)=Reflect(NewVar(Sym(10)),Summary(false,false,false,false,true,List(),List(),List(),List()),List()) syms Sym(10) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
+skipping mirror operation Sym(10)=SimpleLoop(Const(100),Sym(7),ArrayElem(Sym(8))) syms Sym(8) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+came up with: List(Sym(10)), List(ArrayElem(Sym(8))) with subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(13)=Reflect(NewVar(Sym(10)),Summary(false,false,false,false,true,List(),List(),List(),List()),List()) syms Sym(10) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
need to transform rhs of fat loop: List(Sym(11)), List(ArrayElem(Sym(7)))
-skipping mirror operation Sym(11)=SimpleLoop(Const(100),Sym(7),ArrayElem(Sym(7))) syms Sym(7) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-came up with: List(Sym(11)), List(ArrayElem(Sym(7))) with subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(14)=Reflect(NewVar(Sym(11)),Summary(false,false,false,false,true,List(),List(),List(),List()),List()) syms Sym(11) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(16)=OrderingGT(Sym(0),Const(7)) syms Sym(0) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(17)=Reflect(Print(Const(foobar true)),Summary(true,true,false,false,false,List(),List(),List(),List()),List()) syms subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(24)=Reify(Const(()),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(17))) syms Sym(17) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(20)=Reflect(ReadVar(Variable(Sym(13))),Summary(false,false,false,false,false,List(Sym(13)),List(Sym(13)),List(),List()),List(Sym(13))) syms Sym(13),Sym(13) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(21)=Reflect(ReadVar(Variable(Sym(14))),Summary(false,false,false,false,false,List(Sym(14)),List(Sym(14)),List(),List()),List(Sym(14))) syms Sym(14),Sym(14) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(19)=Reflect(Print(Const(foobar false)),Summary(true,true,false,false,false,List(),List(),List(),List()),List()) syms subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(25)=Reify(Const(()),Summary(true,true,false,false,false,List(Sym(13), Sym(14)),List(Sym(13), Sym(14)),List(),List()),List(Sym(19), Sym(20), Sym(21))) syms Sym(19),Sym(20),Sym(21) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
+skipping mirror operation Sym(11)=SimpleLoop(Const(100),Sym(7),ArrayElem(Sym(7))) syms Sym(7) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+came up with: List(Sym(11)), List(ArrayElem(Sym(7))) with subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(14)=Reflect(NewVar(Sym(11)),Summary(false,false,false,false,true,List(),List(),List(),List()),List()) syms Sym(11) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(16)=OrderingGT(Sym(0),Const(7)) syms Sym(0) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(17)=Reflect(Print(Const(foobar true)),Summary(true,true,false,false,false,List(),List(),List(),List()),List()) syms subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(24)=Reify(Const(()),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(17))) syms Sym(17) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(20)=Reflect(ReadVar(Variable(Sym(13))),Summary(false,false,false,false,false,List(Sym(13)),List(Sym(13)),List(),List()),List(Sym(13))) syms Sym(13),Sym(13) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(21)=Reflect(ReadVar(Variable(Sym(14))),Summary(false,false,false,false,false,List(Sym(14)),List(Sym(14)),List(),List()),List(Sym(14))) syms Sym(14),Sym(14) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(19)=Reflect(Print(Const(foobar false)),Summary(true,true,false,false,false,List(),List(),List(),List()),List()) syms subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(25)=Reify(Const(()),Summary(true,true,false,false,false,List(Sym(13), Sym(14)),List(Sym(13), Sym(14)),List(),List()),List(Sym(19), Sym(20), Sym(21))) syms Sym(19),Sym(20),Sym(21) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
need to transform rhs of fat if/then/else: List(Sym(26), Sym(38), Sym(39)), if Sym(16) then List(Sym(24), Sym(11), Sym(10)) else List(Sym(25), Sym(20), Sym(21))
-skipping mirror operation Sym(26)=Reflect(IfThenElse(Sym(16),Sym(24),Sym(25)),Summary(true,true,false,false,false,List(Sym(13), Sym(14)),List(),List(),List()),List(Sym(13), Sym(14))) syms Sym(16),Sym(24),Sym(25),Sym(13),Sym(14) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(38)=Phi(Sym(16),Sym(24),Sym(11),Sym(25),Sym(20)) syms Sym(16),Sym(24),Sym(11),Sym(25),Sym(20) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(39)=Phi(Sym(16),Sym(24),Sym(10),Sym(25),Sym(21)) syms Sym(16),Sym(24),Sym(10),Sym(25),Sym(21) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-came up with: List(Sym(26), Sym(38), Sym(39)), if Sym(16) then List(Sym(24), Sym(11), Sym(10)) else List(Sym(25), Sym(20), Sym(21)) with subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(40)=Reflect(Assign(Variable(Sym(13)),Sym(11)),Summary(false,false,false,false,false,List(Sym(13)),List(Sym(13)),List(Sym(13)),List(Sym(13))),List(Sym(13), Sym(26))) syms Sym(13),Sym(11),Sym(13),Sym(26) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(41)=Reflect(Assign(Variable(Sym(14)),Sym(10)),Summary(false,false,false,false,false,List(Sym(14)),List(Sym(14)),List(Sym(14)),List(Sym(14))),List(Sym(14), Sym(26))) syms Sym(14),Sym(10),Sym(14),Sym(26) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(42)=Reflect(ReadVar(Variable(Sym(13))),Summary(false,false,false,false,false,List(Sym(13)),List(Sym(13)),List(),List()),List(Sym(13), Sym(40))) syms Sym(13),Sym(13),Sym(40) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(43)=Reflect(ReadVar(Variable(Sym(14))),Summary(false,false,false,false,false,List(Sym(14)),List(Sym(14)),List(),List()),List(Sym(14), Sym(41))) syms Sym(14),Sym(14),Sym(41) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(44)=SimpleStruct(List(Array, Complex),Map(re -> Sym(42), im -> Sym(43))) syms Sym(42),Sym(43) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(45)=Reflect(Print(Sym(44)),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(26))) syms Sym(44),Sym(26) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(46)=SimpleStruct(List(Array, Complex),Map(re -> Sym(38), im -> Sym(39))) syms Sym(38),Sym(39) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(47)=Reflect(Print(Sym(46)),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(26), Sym(45))) syms Sym(46),Sym(26),Sym(45) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(48)=Reify(Sym(47),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(13), Sym(14), Sym(26), Sym(40), Sym(41), Sym(42), Sym(43), Sym(45), Sym(47))) syms Sym(47),Sym(13),Sym(14),Sym(26),Sym(40),Sym(41),Sym(42),Sym(43),Sym(45),Sym(47) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(8)=Minus(Const(0.0),Sym(7)) syms Sym(7) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
+skipping mirror operation Sym(26)=Reflect(IfThenElse(Sym(16),Sym(24),Sym(25)),Summary(true,true,false,false,false,List(Sym(13), Sym(14)),List(),List(),List()),List(Sym(13), Sym(14))) syms Sym(16),Sym(24),Sym(25),Sym(13),Sym(14) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(38)=Phi(Sym(16),Sym(24),Sym(11),Sym(25),Sym(20)) syms Sym(16),Sym(24),Sym(11),Sym(25),Sym(20) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(39)=Phi(Sym(16),Sym(24),Sym(10),Sym(25),Sym(21)) syms Sym(16),Sym(24),Sym(10),Sym(25),Sym(21) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+came up with: List(Sym(26), Sym(38), Sym(39)), if Sym(16) then List(Sym(24), Sym(11), Sym(10)) else List(Sym(25), Sym(20), Sym(21)) with subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(40)=Reflect(Assign(Variable(Sym(13)),Sym(11)),Summary(false,false,false,false,false,List(Sym(13)),List(Sym(13)),List(Sym(13)),List(Sym(13))),List(Sym(13), Sym(26))) syms Sym(13),Sym(11),Sym(13),Sym(26) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(41)=Reflect(Assign(Variable(Sym(14)),Sym(10)),Summary(false,false,false,false,false,List(Sym(14)),List(Sym(14)),List(Sym(14)),List(Sym(14))),List(Sym(14), Sym(26))) syms Sym(14),Sym(10),Sym(14),Sym(26) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(42)=Reflect(ReadVar(Variable(Sym(13))),Summary(false,false,false,false,false,List(Sym(13)),List(Sym(13)),List(),List()),List(Sym(13), Sym(40))) syms Sym(13),Sym(13),Sym(40) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(43)=Reflect(ReadVar(Variable(Sym(14))),Summary(false,false,false,false,false,List(Sym(14)),List(Sym(14)),List(),List()),List(Sym(14), Sym(41))) syms Sym(14),Sym(14),Sym(41) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(44)=SimpleStruct(List(Array, Complex),Map(re -> Sym(42), im -> Sym(43))) syms Sym(42),Sym(43) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(45)=Reflect(Print(Sym(44)),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(26))) syms Sym(44),Sym(26) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(46)=SimpleStruct(List(Array, Complex),Map(re -> Sym(38), im -> Sym(39))) syms Sym(38),Sym(39) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(47)=Reflect(Print(Sym(46)),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(26), Sym(45))) syms Sym(46),Sym(26),Sym(45) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(48)=Reify(Sym(47),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(13), Sym(14), Sym(26), Sym(40), Sym(41), Sym(42), Sym(43), Sym(45), Sym(47))) syms Sym(47),Sym(13),Sym(14),Sym(26),Sym(40),Sym(41),Sym(42),Sym(43),Sym(45),Sym(47) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(8)=Minus(Const(0.0),Sym(7)) syms Sym(7) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
need to transform rhs of fat loop: List(Sym(10)), List(ArrayElem(Sym(8)))
-skipping mirror operation Sym(10)=SimpleLoop(Const(100),Sym(7),ArrayElem(Sym(8))) syms Sym(8) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-came up with: List(Sym(10)), List(ArrayElem(Sym(8))) with subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(13)=Reflect(NewVar(Sym(10)),Summary(false,false,false,false,true,List(),List(),List(),List()),List()) syms Sym(10) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
+skipping mirror operation Sym(10)=SimpleLoop(Const(100),Sym(7),ArrayElem(Sym(8))) syms Sym(8) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+came up with: List(Sym(10)), List(ArrayElem(Sym(8))) with subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(13)=Reflect(NewVar(Sym(10)),Summary(false,false,false,false,true,List(),List(),List(),List()),List()) syms Sym(10) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
need to transform rhs of fat loop: List(Sym(11)), List(ArrayElem(Sym(7)))
-skipping mirror operation Sym(11)=SimpleLoop(Const(100),Sym(7),ArrayElem(Sym(7))) syms Sym(7) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-came up with: List(Sym(11)), List(ArrayElem(Sym(7))) with subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(14)=Reflect(NewVar(Sym(11)),Summary(false,false,false,false,true,List(),List(),List(),List()),List()) syms Sym(11) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(16)=OrderingGT(Sym(0),Const(7)) syms Sym(0) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(17)=Reflect(Print(Const(foobar true)),Summary(true,true,false,false,false,List(),List(),List(),List()),List()) syms subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(24)=Reify(Const(()),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(17))) syms Sym(17) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(20)=Reflect(ReadVar(Variable(Sym(13))),Summary(false,false,false,false,false,List(Sym(13)),List(Sym(13)),List(),List()),List(Sym(13))) syms Sym(13),Sym(13) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(21)=Reflect(ReadVar(Variable(Sym(14))),Summary(false,false,false,false,false,List(Sym(14)),List(Sym(14)),List(),List()),List(Sym(14))) syms Sym(14),Sym(14) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(19)=Reflect(Print(Const(foobar false)),Summary(true,true,false,false,false,List(),List(),List(),List()),List()) syms subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(25)=Reify(Const(()),Summary(true,true,false,false,false,List(Sym(13), Sym(14)),List(Sym(13), Sym(14)),List(),List()),List(Sym(19), Sym(20), Sym(21))) syms Sym(19),Sym(20),Sym(21) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
+skipping mirror operation Sym(11)=SimpleLoop(Const(100),Sym(7),ArrayElem(Sym(7))) syms Sym(7) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+came up with: List(Sym(11)), List(ArrayElem(Sym(7))) with subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(14)=Reflect(NewVar(Sym(11)),Summary(false,false,false,false,true,List(),List(),List(),List()),List()) syms Sym(11) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(16)=OrderingGT(Sym(0),Const(7)) syms Sym(0) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(17)=Reflect(Print(Const(foobar true)),Summary(true,true,false,false,false,List(),List(),List(),List()),List()) syms subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(24)=Reify(Const(()),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(17))) syms Sym(17) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(20)=Reflect(ReadVar(Variable(Sym(13))),Summary(false,false,false,false,false,List(Sym(13)),List(Sym(13)),List(),List()),List(Sym(13))) syms Sym(13),Sym(13) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(21)=Reflect(ReadVar(Variable(Sym(14))),Summary(false,false,false,false,false,List(Sym(14)),List(Sym(14)),List(),List()),List(Sym(14))) syms Sym(14),Sym(14) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(19)=Reflect(Print(Const(foobar false)),Summary(true,true,false,false,false,List(),List(),List(),List()),List()) syms subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(25)=Reify(Const(()),Summary(true,true,false,false,false,List(Sym(13), Sym(14)),List(Sym(13), Sym(14)),List(),List()),List(Sym(19), Sym(20), Sym(21))) syms Sym(19),Sym(20),Sym(21) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
need to transform rhs of fat if/then/else: List(Sym(26), Sym(38), Sym(39)), if Sym(16) then List(Sym(24), Sym(11), Sym(10)) else List(Sym(25), Sym(20), Sym(21))
-skipping mirror operation Sym(26)=Reflect(IfThenElse(Sym(16),Sym(24),Sym(25)),Summary(true,true,false,false,false,List(Sym(13), Sym(14)),List(),List(),List()),List(Sym(13), Sym(14))) syms Sym(16),Sym(24),Sym(25),Sym(13),Sym(14) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(38)=Phi(Sym(16),Sym(24),Sym(11),Sym(25),Sym(20)) syms Sym(16),Sym(24),Sym(11),Sym(25),Sym(20) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(39)=Phi(Sym(16),Sym(24),Sym(10),Sym(25),Sym(21)) syms Sym(16),Sym(24),Sym(10),Sym(25),Sym(21) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-came up with: List(Sym(26), Sym(38), Sym(39)), if Sym(16) then List(Sym(24), Sym(11), Sym(10)) else List(Sym(25), Sym(20), Sym(21)) with subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(40)=Reflect(Assign(Variable(Sym(13)),Sym(11)),Summary(false,false,false,false,false,List(Sym(13)),List(Sym(13)),List(Sym(13)),List(Sym(13))),List(Sym(13), Sym(26))) syms Sym(13),Sym(11),Sym(13),Sym(26) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(41)=Reflect(Assign(Variable(Sym(14)),Sym(10)),Summary(false,false,false,false,false,List(Sym(14)),List(Sym(14)),List(Sym(14)),List(Sym(14))),List(Sym(14), Sym(26))) syms Sym(14),Sym(10),Sym(14),Sym(26) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(42)=Reflect(ReadVar(Variable(Sym(13))),Summary(false,false,false,false,false,List(Sym(13)),List(Sym(13)),List(),List()),List(Sym(13), Sym(40))) syms Sym(13),Sym(13),Sym(40) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(43)=Reflect(ReadVar(Variable(Sym(14))),Summary(false,false,false,false,false,List(Sym(14)),List(Sym(14)),List(),List()),List(Sym(14), Sym(41))) syms Sym(14),Sym(14),Sym(41) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(44)=SimpleStruct(List(Array, Complex),Map(re -> Sym(42), im -> Sym(43))) syms Sym(42),Sym(43) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(45)=Reflect(Print(Sym(44)),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(26))) syms Sym(44),Sym(26) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(46)=SimpleStruct(List(Array, Complex),Map(re -> Sym(38), im -> Sym(39))) syms Sym(38),Sym(39) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(47)=Reflect(Print(Sym(46)),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(26), Sym(45))) syms Sym(46),Sym(26),Sym(45) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(48)=Reify(Sym(47),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(13), Sym(14), Sym(26), Sym(40), Sym(41), Sym(42), Sym(43), Sym(45), Sym(47))) syms Sym(47),Sym(13),Sym(14),Sym(26),Sym(40),Sym(41),Sym(42),Sym(43),Sym(45),Sym(47) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(8)=Minus(Const(0.0),Sym(7)) syms Sym(7) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
+skipping mirror operation Sym(26)=Reflect(IfThenElse(Sym(16),Sym(24),Sym(25)),Summary(true,true,false,false,false,List(Sym(13), Sym(14)),List(),List(),List()),List(Sym(13), Sym(14))) syms Sym(16),Sym(24),Sym(25),Sym(13),Sym(14) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(38)=Phi(Sym(16),Sym(24),Sym(11),Sym(25),Sym(20)) syms Sym(16),Sym(24),Sym(11),Sym(25),Sym(20) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(39)=Phi(Sym(16),Sym(24),Sym(10),Sym(25),Sym(21)) syms Sym(16),Sym(24),Sym(10),Sym(25),Sym(21) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+came up with: List(Sym(26), Sym(38), Sym(39)), if Sym(16) then List(Sym(24), Sym(11), Sym(10)) else List(Sym(25), Sym(20), Sym(21)) with subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(40)=Reflect(Assign(Variable(Sym(13)),Sym(11)),Summary(false,false,false,false,false,List(Sym(13)),List(Sym(13)),List(Sym(13)),List(Sym(13))),List(Sym(13), Sym(26))) syms Sym(13),Sym(11),Sym(13),Sym(26) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(41)=Reflect(Assign(Variable(Sym(14)),Sym(10)),Summary(false,false,false,false,false,List(Sym(14)),List(Sym(14)),List(Sym(14)),List(Sym(14))),List(Sym(14), Sym(26))) syms Sym(14),Sym(10),Sym(14),Sym(26) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(42)=Reflect(ReadVar(Variable(Sym(13))),Summary(false,false,false,false,false,List(Sym(13)),List(Sym(13)),List(),List()),List(Sym(13), Sym(40))) syms Sym(13),Sym(13),Sym(40) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(43)=Reflect(ReadVar(Variable(Sym(14))),Summary(false,false,false,false,false,List(Sym(14)),List(Sym(14)),List(),List()),List(Sym(14), Sym(41))) syms Sym(14),Sym(14),Sym(41) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(44)=SimpleStruct(List(Array, Complex),Map(re -> Sym(42), im -> Sym(43))) syms Sym(42),Sym(43) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(45)=Reflect(Print(Sym(44)),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(26))) syms Sym(44),Sym(26) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(46)=SimpleStruct(List(Array, Complex),Map(re -> Sym(38), im -> Sym(39))) syms Sym(38),Sym(39) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(47)=Reflect(Print(Sym(46)),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(26), Sym(45))) syms Sym(46),Sym(26),Sym(45) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(48)=Reify(Sym(47),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(13), Sym(14), Sym(26), Sym(40), Sym(41), Sym(42), Sym(43), Sym(45), Sym(47))) syms Sym(47),Sym(13),Sym(14),Sym(26),Sym(40),Sym(41),Sym(42),Sym(43),Sym(45),Sym(47) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(8)=Minus(Const(0.0),Sym(7)) syms Sym(7) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
need to transform rhs of fat loop: List(Sym(10)), List(ArrayElem(Sym(8)))
-skipping mirror operation Sym(10)=SimpleLoop(Const(100),Sym(7),ArrayElem(Sym(8))) syms Sym(8) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-came up with: List(Sym(10)), List(ArrayElem(Sym(8))) with subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(13)=Reflect(NewVar(Sym(10)),Summary(false,false,false,false,true,List(),List(),List(),List()),List()) syms Sym(10) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
+skipping mirror operation Sym(10)=SimpleLoop(Const(100),Sym(7),ArrayElem(Sym(8))) syms Sym(8) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+came up with: List(Sym(10)), List(ArrayElem(Sym(8))) with subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(13)=Reflect(NewVar(Sym(10)),Summary(false,false,false,false,true,List(),List(),List(),List()),List()) syms Sym(10) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
need to transform rhs of fat loop: List(Sym(11)), List(ArrayElem(Sym(7)))
-skipping mirror operation Sym(11)=SimpleLoop(Const(100),Sym(7),ArrayElem(Sym(7))) syms Sym(7) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-came up with: List(Sym(11)), List(ArrayElem(Sym(7))) with subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(14)=Reflect(NewVar(Sym(11)),Summary(false,false,false,false,true,List(),List(),List(),List()),List()) syms Sym(11) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(16)=OrderingGT(Sym(0),Const(7)) syms Sym(0) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(17)=Reflect(Print(Const(foobar true)),Summary(true,true,false,false,false,List(),List(),List(),List()),List()) syms subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(24)=Reify(Const(()),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(17))) syms Sym(17) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(20)=Reflect(ReadVar(Variable(Sym(13))),Summary(false,false,false,false,false,List(Sym(13)),List(Sym(13)),List(),List()),List(Sym(13))) syms Sym(13),Sym(13) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(21)=Reflect(ReadVar(Variable(Sym(14))),Summary(false,false,false,false,false,List(Sym(14)),List(Sym(14)),List(),List()),List(Sym(14))) syms Sym(14),Sym(14) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(19)=Reflect(Print(Const(foobar false)),Summary(true,true,false,false,false,List(),List(),List(),List()),List()) syms subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(25)=Reify(Const(()),Summary(true,true,false,false,false,List(Sym(13), Sym(14)),List(Sym(13), Sym(14)),List(),List()),List(Sym(19), Sym(20), Sym(21))) syms Sym(19),Sym(20),Sym(21) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
+skipping mirror operation Sym(11)=SimpleLoop(Const(100),Sym(7),ArrayElem(Sym(7))) syms Sym(7) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+came up with: List(Sym(11)), List(ArrayElem(Sym(7))) with subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(14)=Reflect(NewVar(Sym(11)),Summary(false,false,false,false,true,List(),List(),List(),List()),List()) syms Sym(11) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(16)=OrderingGT(Sym(0),Const(7)) syms Sym(0) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(17)=Reflect(Print(Const(foobar true)),Summary(true,true,false,false,false,List(),List(),List(),List()),List()) syms subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(24)=Reify(Const(()),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(17))) syms Sym(17) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(20)=Reflect(ReadVar(Variable(Sym(13))),Summary(false,false,false,false,false,List(Sym(13)),List(Sym(13)),List(),List()),List(Sym(13))) syms Sym(13),Sym(13) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(21)=Reflect(ReadVar(Variable(Sym(14))),Summary(false,false,false,false,false,List(Sym(14)),List(Sym(14)),List(),List()),List(Sym(14))) syms Sym(14),Sym(14) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(19)=Reflect(Print(Const(foobar false)),Summary(true,true,false,false,false,List(),List(),List(),List()),List()) syms subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(25)=Reify(Const(()),Summary(true,true,false,false,false,List(Sym(13), Sym(14)),List(Sym(13), Sym(14)),List(),List()),List(Sym(19), Sym(20), Sym(21))) syms Sym(19),Sym(20),Sym(21) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
need to transform rhs of fat if/then/else: List(Sym(26), Sym(38), Sym(39)), if Sym(16) then List(Sym(24), Sym(11), Sym(10)) else List(Sym(25), Sym(20), Sym(21))
-skipping mirror operation Sym(26)=Reflect(IfThenElse(Sym(16),Sym(24),Sym(25)),Summary(true,true,false,false,false,List(Sym(13), Sym(14)),List(),List(),List()),List(Sym(13), Sym(14))) syms Sym(16),Sym(24),Sym(25),Sym(13),Sym(14) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(38)=Phi(Sym(16),Sym(24),Sym(11),Sym(25),Sym(20)) syms Sym(16),Sym(24),Sym(11),Sym(25),Sym(20) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(39)=Phi(Sym(16),Sym(24),Sym(10),Sym(25),Sym(21)) syms Sym(16),Sym(24),Sym(10),Sym(25),Sym(21) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-came up with: List(Sym(26), Sym(38), Sym(39)), if Sym(16) then List(Sym(24), Sym(11), Sym(10)) else List(Sym(25), Sym(20), Sym(21)) with subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(40)=Reflect(Assign(Variable(Sym(13)),Sym(11)),Summary(false,false,false,false,false,List(Sym(13)),List(Sym(13)),List(Sym(13)),List(Sym(13))),List(Sym(13), Sym(26))) syms Sym(13),Sym(11),Sym(13),Sym(26) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(41)=Reflect(Assign(Variable(Sym(14)),Sym(10)),Summary(false,false,false,false,false,List(Sym(14)),List(Sym(14)),List(Sym(14)),List(Sym(14))),List(Sym(14), Sym(26))) syms Sym(14),Sym(10),Sym(14),Sym(26) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(42)=Reflect(ReadVar(Variable(Sym(13))),Summary(false,false,false,false,false,List(Sym(13)),List(Sym(13)),List(),List()),List(Sym(13), Sym(40))) syms Sym(13),Sym(13),Sym(40) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(43)=Reflect(ReadVar(Variable(Sym(14))),Summary(false,false,false,false,false,List(Sym(14)),List(Sym(14)),List(),List()),List(Sym(14), Sym(41))) syms Sym(14),Sym(14),Sym(41) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(44)=SimpleStruct(List(Array, Complex),Map(re -> Sym(42), im -> Sym(43))) syms Sym(42),Sym(43) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(45)=Reflect(Print(Sym(44)),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(26))) syms Sym(44),Sym(26) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(46)=SimpleStruct(List(Array, Complex),Map(re -> Sym(38), im -> Sym(39))) syms Sym(38),Sym(39) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(47)=Reflect(Print(Sym(46)),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(26), Sym(45))) syms Sym(46),Sym(26),Sym(45) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(48)=Reify(Sym(47),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(13), Sym(14), Sym(26), Sym(40), Sym(41), Sym(42), Sym(43), Sym(45), Sym(47))) syms Sym(47),Sym(13),Sym(14),Sym(26),Sym(40),Sym(41),Sym(42),Sym(43),Sym(45),Sym(47) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
+skipping mirror operation Sym(26)=Reflect(IfThenElse(Sym(16),Sym(24),Sym(25)),Summary(true,true,false,false,false,List(Sym(13), Sym(14)),List(),List(),List()),List(Sym(13), Sym(14))) syms Sym(16),Sym(24),Sym(25),Sym(13),Sym(14) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(38)=Phi(Sym(16),Sym(24),Sym(11),Sym(25),Sym(20)) syms Sym(16),Sym(24),Sym(11),Sym(25),Sym(20) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(39)=Phi(Sym(16),Sym(24),Sym(10),Sym(25),Sym(21)) syms Sym(16),Sym(24),Sym(10),Sym(25),Sym(21) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+came up with: List(Sym(26), Sym(38), Sym(39)), if Sym(16) then List(Sym(24), Sym(11), Sym(10)) else List(Sym(25), Sym(20), Sym(21)) with subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(40)=Reflect(Assign(Variable(Sym(13)),Sym(11)),Summary(false,false,false,false,false,List(Sym(13)),List(Sym(13)),List(Sym(13)),List(Sym(13))),List(Sym(13), Sym(26))) syms Sym(13),Sym(11),Sym(13),Sym(26) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(41)=Reflect(Assign(Variable(Sym(14)),Sym(10)),Summary(false,false,false,false,false,List(Sym(14)),List(Sym(14)),List(Sym(14)),List(Sym(14))),List(Sym(14), Sym(26))) syms Sym(14),Sym(10),Sym(14),Sym(26) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(42)=Reflect(ReadVar(Variable(Sym(13))),Summary(false,false,false,false,false,List(Sym(13)),List(Sym(13)),List(),List()),List(Sym(13), Sym(40))) syms Sym(13),Sym(13),Sym(40) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(43)=Reflect(ReadVar(Variable(Sym(14))),Summary(false,false,false,false,false,List(Sym(14)),List(Sym(14)),List(),List()),List(Sym(14), Sym(41))) syms Sym(14),Sym(14),Sym(41) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(44)=SimpleStruct(List(Array, Complex),Map(re -> Sym(42), im -> Sym(43))) syms Sym(42),Sym(43) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(45)=Reflect(Print(Sym(44)),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(26))) syms Sym(44),Sym(26) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(46)=SimpleStruct(List(Array, Complex),Map(re -> Sym(38), im -> Sym(39))) syms Sym(38),Sym(39) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(47)=Reflect(Print(Sym(46)),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(26), Sym(45))) syms Sym(46),Sym(26),Sym(45) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(48)=Reify(Sym(47),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(13), Sym(14), Sym(26), Sym(40), Sym(41), Sym(42), Sym(43), Sym(45), Sym(47))) syms Sym(47),Sym(13),Sym(14),Sym(26),Sym(40),Sym(41),Sym(42),Sym(43),Sym(45),Sym(47) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
need to transform rhs of fat loop: List(Sym(10), Sym(11), Sym(4), Sym(5)), List(ArrayElem(Sym(8)), ArrayElem(Sym(7)), ArrayElem(Sym(1)), ArrayElem(Sym(2)))
-skipping mirror operation Sym(10)=SimpleLoop(Const(100),Sym(7),ArrayElem(Sym(8))) syms Sym(8) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
-skipping mirror operation Sym(11)=SimpleLoop(Const(100),Sym(7),ArrayElem(Sym(7))) syms Sym(7) subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
+skipping mirror operation Sym(10)=SimpleLoop(Const(100),Sym(7),ArrayElem(Sym(8))) syms Sym(8) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
+skipping mirror operation Sym(11)=SimpleLoop(Const(100),Sym(7),ArrayElem(Sym(7))) syms Sym(7) subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
lhs changed! will add to innerScope:
-came up with: List(Sym(10), Sym(11)), List(ArrayElem(Sym(8)), ArrayElem(Sym(7))) with subst Sym(34) -> Sym(44),Sym(2) -> Sym(8),Sym(36) -> Sym(47),Sym(29) -> Sym(46),Sym(5) -> Sym(10),Sym(27) -> Sym(38),Sym(33) -> Sym(43),Sym(7) -> Sym(7),Sym(32) -> Sym(42),Sym(35) -> Sym(45),Sym(30) -> Sym(40),Sym(31) -> Sym(41),Sym(28) -> Sym(39),Sym(4) -> Sym(11),Sym(37) -> Sym(48),Sym(1) -> Sym(7)
+came up with: List(Sym(10), Sym(11)), List(ArrayElem(Sym(8)), ArrayElem(Sym(7))) with subst Sym(34) -> Sym(44),Sym(32) -> Sym(42),Sym(4) -> Sym(11),Sym(27) -> Sym(38),Sym(30) -> Sym(40),Sym(37) -> Sym(48),Sym(5) -> Sym(10),Sym(1) -> Sym(7),Sym(36) -> Sym(47),Sym(7) -> Sym(7),Sym(35) -> Sym(45),Sym(2) -> Sym(8),Sym(33) -> Sym(43),Sym(28) -> Sym(39),Sym(29) -> Sym(46),Sym(31) -> Sym(41)
try once more ...
wtableneg: List()
partitions: List(TTP(List(Sym(10), Sym(11)),SimpleFatLoop(Const(100),Sym(7),List(ArrayElem(Sym(8)), ArrayElem(Sym(7))))))
View
60 test-out/epfl/test9-struct3.check
@@ -12,52 +12,52 @@ partitions: List(TTP(List(Sym(4), Sym(5), Sym(13)),SimpleFatLoop(Const(100),Sym(
considering TTP(List(Sym(9)),ThinDef(ArrayIndex(Sym(5),Sym(7))))
replace TTP(List(Sym(9)),ThinDef(ArrayIndex(Sym(5),Sym(7)))) at 1 within TTP(List(Sym(4), Sym(5), Sym(13)),SimpleFatLoop(Const(100),Sym(1),List(ArrayElem(Sym(1)), ArrayElem(Sym(2)), ArrayElem(Sym(11)))))
need to transform rhs of fat loop: List(Sym(4)), List(ArrayElem(Sym(1)))
-skipping mirror operation Sym(4)=SimpleLoop(Const(100),Sym(1),ArrayElem(Sym(1))) syms Sym(1) subst Sym(7) -> Sym(1),Sym(9) -> Sym(2),Sym(1) -> Sym(1)
-came up with: List(Sym(4)), List(ArrayElem(Sym(1))) with subst Sym(7) -> Sym(1),Sym(9) -> Sym(2),Sym(1) -> Sym(1)
-skipping mirror operation Sym(2)=Minus(Const(0.0),Sym(1)) syms Sym(1) subst Sym(7) -> Sym(1),Sym(9) -> Sym(2),Sym(1) -> Sym(1)
+skipping mirror operation Sym(4)=SimpleLoop(Const(100),Sym(1),ArrayElem(Sym(1))) syms Sym(1) subst Sym(9) -> Sym(2),Sym(1) -> Sym(1),Sym(7) -> Sym(1)
+came up with: List(Sym(4)), List(ArrayElem(Sym(1))) with subst Sym(9) -> Sym(2),Sym(1) -> Sym(1),Sym(7) -> Sym(1)
+skipping mirror operation Sym(2)=Minus(Const(0.0),Sym(1)) syms Sym(1) subst Sym(9) -> Sym(2),Sym(1) -> Sym(1),Sym(7) -> Sym(1)
need to transform rhs of fat loop: List(Sym(5)), List(ArrayElem(Sym(2)))
-skipping mirror operation Sym(5)=SimpleLoop(Const(100),Sym(1),ArrayElem(Sym(2))) syms Sym(2) subst Sym(7) -> Sym(1),Sym(9) -> Sym(2),Sym(1) -> Sym(1)
-came up with: List(Sym(5)), List(ArrayElem(Sym(2))) with subst Sym(7) -> Sym(1),Sym(9) -> Sym(2),Sym(1) -> Sym(1)
+skipping mirror operation Sym(5)=SimpleLoop(Const(100),Sym(1),ArrayElem(Sym(2))) syms Sym(2) subst Sym(9) -> Sym(2),Sym(1) -> Sym(1),Sym(7) -> Sym(1)
+came up with: List(Sym(5)), List(ArrayElem(Sym(2))) with subst Sym(9) -> Sym(2),Sym(1) -> Sym(1),Sym(7) -> Sym(1)
warning: mirroring of Sym(11)=Minus(Const(0.0),Sym(9)) type Double returned Sym(1) type Int (not a subtype)
--> replace Sym(11)=Minus(Const(0.0),Sym(9)) by Sym(1)
need to transform rhs of fat loop: List(Sym(13)), List(ArrayElem(Sym(11)))
--> replace Sym(13)=SimpleLoop(Const(100),Sym(7),ArrayElem(Sym(11))) by Sym(4)=SimpleLoop(Const(100),Sym(1),ArrayElem(Sym(1)))
lhs changed! will add to innerScope:
-came up with: List(Sym(4)), List(ArrayElem(Sym(1))) with subst Sym(11) -> Sym(1),Sym(13) -> Sym(4),Sym(7) -> Sym(1),Sym(9) -> Sym(2),Sym(1) -> Sym(1)
+came up with: List(Sym(4)), List(ArrayElem(Sym(1))) with subst Sym(11) -> Sym(1),Sym(9) -> Sym(2),Sym(13) -> Sym(4),Sym(1) -> Sym(1),Sym(7) -> Sym(1)
--> replace Sym(14)=SimpleStruct(List(Array, Complex),Map(re -> Sym(4), im -> Sym(13))) by Sym(17)=SimpleStruct(List(Array, Complex),Map(re -> Sym(4), im -> Sym(4)))
--> replace Sym(15)=Reflect(Print(Sym(14)),Summary(true,true,false,false,false,List(),List(),List(),List()),List()) by Sym(18)=Reflect(Print(Sym(17)),Summary(true,true,false,false,false,List(),List(),List(),List()),List())
--> replace Sym(16)=Reify(Sym(15),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(15))) by Sym(19)=Reify(Sym(18),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(18)))
need to transform rhs of fat loop: List(Sym(4)), List(ArrayElem(Sym(1)))
-skipping mirror operation Sym(4)=SimpleLoop(Const(100),Sym(1),ArrayElem(Sym(1))) syms Sym(1) subst Sym(16) -> Sym(19),Sym(11) -> Sym(1),Sym(13) -> Sym(4),Sym(7) -> Sym(1),Sym(14) -> Sym(17),Sym(9) -> Sym(2),Sym(15) -> Sym(18),Sym(1) -> Sym(1)
-came up with: List(Sym(4)), List(ArrayElem(Sym(1))) with subst Sym(16) -> Sym(19),Sym(11) -> Sym(1),Sym(13) -> Sym(4),Sym(7) -> Sym(1),Sym(14) -> Sym(17),Sym(9) -> Sym(2),Sym(15) -> Sym(18),Sym(1) -> Sym(1)
-skipping mirror operation Sym(2)=Minus(Const(0.0),Sym(1)) syms Sym(1) subst Sym(16) -> Sym(19),Sym(11) -> Sym(1),Sym(13) -> Sym(4),Sym(7) -> Sym(1),Sym(14) -> Sym(17),Sym(9) -> Sym(2),Sym(15) -> Sym(18),Sym(1) -> Sym(1)
+skipping mirror operation Sym(4)=SimpleLoop(Const(100),Sym(1),ArrayElem(Sym(1))) syms Sym(1) subst Sym(15) -> Sym(18),Sym(11) -> Sym(1),Sym(9) -> Sym(2),Sym(13) -> Sym(4),Sym(16) -> Sym(19),Sym(14) -> Sym(17),Sym(1) -> Sym(1),Sym(7) -> Sym(1)
+came up with: List(Sym(4)), List(ArrayElem(Sym(1))) with subst Sym(15) -> Sym(18),Sym(11) -> Sym(1),Sym(9) -> Sym(2),Sym(13) -> Sym(4),Sym(16) -> Sym(19),Sym(14) -> Sym(17),Sym(1) -> Sym(1),Sym(7) -> Sym(1)
+skipping mirror operation Sym(2)=Minus(Const(0.0),Sym(1)) syms Sym(1) subst Sym(15) -> Sym(18),Sym(11) -> Sym(1),Sym(9) -> Sym(2),Sym(13) -> Sym(4),Sym(16) -> Sym(19),Sym(14) -> Sym(17),Sym(1) -> Sym(1),Sym(7) -> Sym(1)
need to transform rhs of fat loop: List(Sym(5)), List(ArrayElem(Sym(2)))
-skipping mirror operation Sym(5)=SimpleLoop(Const(100),Sym(1),ArrayElem(Sym(2))) syms Sym(2) subst Sym(16) -> Sym(19),Sym(11) -> Sym(1),Sym(13) -> Sym(4),Sym(7) -> Sym(1),Sym(14) -> Sym(17),Sym(9) -> Sym(2),Sym(15) -> Sym(18),Sym(1) -> Sym(1)
-came up with: List(Sym(5)), List(ArrayElem(Sym(2))) with subst Sym(16) -> Sym(19),Sym(11) -> Sym(1),Sym(13) -> Sym(4),Sym(7) -> Sym(1),Sym(14) -> Sym(17),Sym(9) -> Sym(2),Sym(15) -> Sym(18),Sym(1) -> Sym(1)
-skipping mirror operation Sym(17)=SimpleStruct(List(Array, Complex),Map(re -> Sym(4), im -> Sym(4))) syms Sym(4),Sym(4) subst Sym(16) -> Sym(19),Sym(11) -> Sym(1),Sym(13) -> Sym(4),Sym(7) -> Sym(1),Sym(14) -> Sym(17),Sym(9) -> Sym(2),Sym(15) -> Sym(18),Sym(1) -> Sym(1)
-skipping mirror operation Sym(18)=Reflect(Print(Sym(17)),Summary(true,true,false,false,false,List(),List(),List(),List()),List()) syms Sym(17) subst Sym(16) -> Sym(19),Sym(11) -> Sym(1),Sym(13) -> Sym(4),Sym(7) -> Sym(1),Sym(14) -> Sym(17),Sym(9) -> Sym(2),Sym(15) -> Sym(18),Sym(1) -> Sym(1)
-skipping mirror operation Sym(19)=Reify(Sym(18),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(18))) syms Sym(18),Sym(18) subst Sym(16) -> Sym(19),Sym(11) -> Sym(1),Sym(13) -> Sym(4),Sym(7) -> Sym(1),Sym(14) -> Sym(17),Sym(9) -> Sym(2),Sym(15) -> Sym(18),Sym(1) -> Sym(1)
+skipping mirror operation Sym(5)=SimpleLoop(Const(100),Sym(1),ArrayElem(Sym(2))) syms Sym(2) subst Sym(15) -> Sym(18),Sym(11) -> Sym(1),Sym(9) -> Sym(2),Sym(13) -> Sym(4),Sym(16) -> Sym(19),Sym(14) -> Sym(17),Sym(1) -> Sym(1),Sym(7) -> Sym(1)
+came up with: List(Sym(5)), List(ArrayElem(Sym(2))) with subst Sym(15) -> Sym(18),Sym(11) -> Sym(1),Sym(9) -> Sym(2),Sym(13) -> Sym(4),Sym(16) -> Sym(19),Sym(14) -> Sym(17),Sym(1) -> Sym(1),Sym(7) -> Sym(1)
+skipping mirror operation Sym(17)=SimpleStruct(List(Array, Complex),Map(re -> Sym(4), im -> Sym(4))) syms Sym(4),Sym(4) subst Sym(15) -> Sym(18),Sym(11) -> Sym(1),Sym(9) -> Sym(2),Sym(13) -> Sym(4),Sym(16) -> Sym(19),Sym(14) -> Sym(17),Sym(1) -> Sym(1),Sym(7) -> Sym(1)
+skipping mirror operation Sym(18)=Reflect(Print(Sym(17)),Summary(true,true,false,false,false,List(),List(),List(),List()),List()) syms Sym(17) subst Sym(15) -> Sym(18),Sym(11) -> Sym(1),Sym(9) -> Sym(2),Sym(13) -> Sym(4),Sym(16) -> Sym(19),Sym(14) -> Sym(17),Sym(1) -> Sym(1),Sym(7) -> Sym(1)
+skipping mirror operation Sym(19)=Reify(Sym(18),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(18))) syms Sym(18),Sym(18) subst Sym(15) -> Sym(18),Sym(11) -> Sym(1),Sym(9) -> Sym(2),Sym(13) -> Sym(4),Sym(16) -> Sym(19),Sym(14) -> Sym(17),Sym(1) -> Sym(1),Sym(7) -> Sym(1)
need to transform rhs of fat loop: List(Sym(4)), List(ArrayElem(Sym(1)))
-skipping mirror operation Sym(4)=SimpleLoop(Const(100),Sym(1),ArrayElem(Sym(1))) syms Sym(1) subst Sym(16) -> Sym(19),Sym(11) -> Sym(1),Sym(13) -> Sym(4),Sym(7) -> Sym(1),Sym(14) -> Sym(17),Sym(9) -> Sym(2),Sym(15) -> Sym(18),Sym(1) -> Sym(1)
-came up with: List(Sym(4)), List(ArrayElem(Sym(1))) with subst Sym(16) -> Sym(19),Sym(11) -> Sym(1),Sym(13) -> Sym(4),Sym(7) -> Sym(1),Sym(14) -> Sym(17),Sym(9) -> Sym(2),Sym(15) -> Sym(18),Sym(1) -> Sym(1)
-skipping mirror operation Sym(2)=Minus(Const(0.0),Sym(1)) syms Sym(1) subst Sym(16) -> Sym(19),Sym(11) -> Sym(1),Sym(13) -> Sym(4),Sym(7) -> Sym(1),Sym(14) -> Sym(17),Sym(9) -> Sym(2),Sym(15) -> Sym(18),Sym(1) -> Sym(1)
+skipping mirror operation Sym(4)=SimpleLoop(Const(100),Sym(1),ArrayElem(Sym(1))) syms Sym(1) subst Sym(15) -> Sym(18),Sym(11) -> Sym(1),Sym(9) -> Sym(2),Sym(13) -> Sym(4),Sym(16) -> Sym(19),Sym(14) -> Sym(17),Sym(1) -> Sym(1),Sym(7) -> Sym(1)
+came up with: List(Sym(4)), List(ArrayElem(Sym(1))) with subst Sym(15) -> Sym(18),Sym(11) -> Sym(1),Sym(9) -> Sym(2),Sym(13) -> Sym(4),Sym(16) -> Sym(19),Sym(14) -> Sym(17),Sym(1) -> Sym(1),Sym(7) -> Sym(1)
+skipping mirror operation Sym(2)=Minus(Const(0.0),Sym(1)) syms Sym(1) subst Sym(15) -> Sym(18),Sym(11) -> Sym(1),Sym(9) -> Sym(2),Sym(13) -> Sym(4),Sym(16) -> Sym(19),Sym(14) -> Sym(17),Sym(1) -> Sym(1),Sym(7) -> Sym(1)
need to transform rhs of fat loop: List(Sym(5)), List(ArrayElem(Sym(2)))
-skipping mirror operation Sym(5)=SimpleLoop(Const(100),Sym(1),ArrayElem(Sym(2))) syms Sym(2) subst Sym(16) -> Sym(19),Sym(11) -> Sym(1),Sym(13) -> Sym(4),Sym(7) -> Sym(1),Sym(14) -> Sym(17),Sym(9) -> Sym(2),Sym(15) -> Sym(18),Sym(1) -> Sym(1)
-came up with: List(Sym(5)), List(ArrayElem(Sym(2))) with subst Sym(16) -> Sym(19),Sym(11) -> Sym(1),Sym(13) -> Sym(4),Sym(7) -> Sym(1),Sym(14) -> Sym(17),Sym(9) -> Sym(2),Sym(15) -> Sym(18),Sym(1) -> Sym(1)
-skipping mirror operation Sym(17)=SimpleStruct(List(Array, Complex),Map(re -> Sym(4), im -> Sym(4))) syms Sym(4),Sym(4) subst Sym(16) -> Sym(19),Sym(11) -> Sym(1),Sym(13) -> Sym(4),Sym(7) -> Sym(1),Sym(14) -> Sym(17),Sym(9) -> Sym(2),Sym(15) -> Sym(18),Sym(1) -> Sym(1)
-skipping mirror operation Sym(18)=Reflect(Print(Sym(17)),Summary(true,true,false,false,false,List(),List(),List(),List()),List()) syms Sym(17) subst Sym(16) -> Sym(19),Sym(11) -> Sym(1),Sym(13) -> Sym(4),Sym(7) -> Sym(1),Sym(14) -> Sym(17),Sym(9) -> Sym(2),Sym(15) -> Sym(18),Sym(1) -> Sym(1)
-skipping mirror operation Sym(19)=Reify(Sym(18),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(18))) syms Sym(18),Sym(18) subst Sym(16) -> Sym(19),Sym(11) -> Sym(1),Sym(13) -> Sym(4),Sym(7) -> Sym(1),Sym(14) -> Sym(17),Sym(9) -> Sym(2),Sym(15) -> Sym(18),Sym(1) -> Sym(1)
+skipping mirror operation Sym(5)=SimpleLoop(Const(100),Sym(1),ArrayElem(Sym(2))) syms Sym(2) subst Sym(15) -> Sym(18),Sym(11) -> Sym(1),Sym(9) -> Sym(2),Sym(13) -> Sym(4),Sym(16) -> Sym(19),Sym(14) -> Sym(17),Sym(1) -> Sym(1),Sym(7) -> Sym(1)
+came up with: List(Sym(5)), List(ArrayElem(Sym(2))) with subst Sym(15) -> Sym(18),Sym(11) -> Sym(1),Sym(9) -> Sym(2),Sym(13) -> Sym(4),Sym(16) -> Sym(19),Sym(14) -> Sym(17),Sym(1) -> Sym(1),Sym(7) -> Sym(1)
+skipping mirror operation Sym(17)=SimpleStruct(List(Array, Complex),Map(re -> Sym(4), im -> Sym(4))) syms Sym(4),Sym(4) subst Sym(15) -> Sym(18),Sym(11) -> Sym(1),Sym(9) -> Sym(2),Sym(13) -> Sym(4),Sym(16) -> Sym(19),Sym(14) -> Sym(17),Sym(1) -> Sym(1),Sym(7) -> Sym(1)
+skipping mirror operation Sym(18)=Reflect(Print(Sym(17)),Summary(true,true,false,false,false,List(),List(),List(),List()),List()) syms Sym(17) subst Sym(15) -> Sym(18),Sym(11) -> Sym(1),Sym(9) -> Sym(2),Sym(13) -> Sym(4),Sym(16) -> Sym(19),Sym(14) -> Sym(17),Sym(1) -> Sym(1),Sym(7) -> Sym(1)
+skipping mirror operation Sym(19)=Reify(Sym(18),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(18))) syms Sym(18),Sym(18) subst Sym(15) -> Sym(18),Sym(11) -> Sym(1),Sym(9) -> Sym(2),Sym(13) -> Sym(4),Sym(16) -> Sym(19),Sym(14) -> Sym(17),Sym(1) -> Sym(1),Sym(7) -> Sym(1)
need to transform rhs of fat loop: List(Sym(4)), List(ArrayElem(Sym(1)))
-skipping mirror operation Sym(4)=SimpleLoop(Const(100),Sym(1),ArrayElem(Sym(1))) syms Sym(1) subst Sym(16) -> Sym(19),Sym(11) -> Sym(1),Sym(13) -> Sym(4),Sym(7) -> Sym(1),Sym(14) -> Sym(17),Sym(9) -> Sym(2),Sym(15) -> Sym(18),Sym(1) -> Sym(1)
-came up with: List(Sym(4)), List(ArrayElem(Sym(1))) with subst Sym(16) -> Sym(19),Sym(11) -> Sym(1),Sym(13) -> Sym(4),Sym(7) -> Sym(1),Sym(14) -> Sym(17),Sym(9) -> Sym(2),Sym(15) -> Sym(18),Sym(1) -> Sym(1)
-skipping mirror operation Sym(17)=SimpleStruct(List(Array, Complex),Map(re -> Sym(4), im -> Sym(4))) syms Sym(4),Sym(4) subst Sym(16) -> Sym(19),Sym(11) -> Sym(1),Sym(13) -> Sym(4),Sym(7) -> Sym(1),Sym(14) -> Sym(17),Sym(9) -> Sym(2),Sym(15) -> Sym(18),Sym(1) -> Sym(1)
-skipping mirror operation Sym(18)=Reflect(Print(Sym(17)),Summary(true,true,false,false,false,List(),List(),List(),List()),List()) syms Sym(17) subst Sym(16) -> Sym(19),Sym(11) -> Sym(1),Sym(13) -> Sym(4),Sym(7) -> Sym(1),Sym(14) -> Sym(17),Sym(9) -> Sym(2),Sym(15) -> Sym(18),Sym(1) -> Sym(1)
-skipping mirror operation Sym(19)=Reify(Sym(18),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(18))) syms Sym(18),Sym(18) subst Sym(16) -> Sym(19),Sym(11) -> Sym(1),Sym(13) -> Sym(4),Sym(7) -> Sym(1),Sym(14) -> Sym(17),Sym(9) -> Sym(2),Sym(15) -> Sym(18),Sym(1) -> Sym(1)
+skipping mirror operation Sym(4)=SimpleLoop(Const(100),Sym(1),ArrayElem(Sym(1))) syms Sym(1) subst Sym(15) -> Sym(18),Sym(11) -> Sym(1),Sym(9) -> Sym(2),Sym(13) -> Sym(4),Sym(16) -> Sym(19),Sym(14) -> Sym(17),Sym(1) -> Sym(1),Sym(7) -> Sym(1)
+came up with: List(Sym(4)), List(ArrayElem(Sym(1))) with subst Sym(15) -> Sym(18),Sym(11) -> Sym(1),Sym(9) -> Sym(2),Sym(13) -> Sym(4),Sym(16) -> Sym(19),Sym(14) -> Sym(17),Sym(1) -> Sym(1),Sym(7) -> Sym(1)
+skipping mirror operation Sym(17)=SimpleStruct(List(Array, Complex),Map(re -> Sym(4), im -> Sym(4))) syms Sym(4),Sym(4) subst Sym(15) -> Sym(18),Sym(11) -> Sym(1),Sym(9) -> Sym(2),Sym(13) -> Sym(4),Sym(16) -> Sym(19),Sym(14) -> Sym(17),Sym(1) -> Sym(1),Sym(7) -> Sym(1)
+skipping mirror operation Sym(18)=Reflect(Print(Sym(17)),Summary(true,true,false,false,false,List(),List(),List(),List()),List()) syms Sym(17) subst Sym(15) -> Sym(18),Sym(11) -> Sym(1),Sym(9) -> Sym(2),Sym(13) -> Sym(4),Sym(16) -> Sym(19),Sym(14) -> Sym(17),Sym(1) -> Sym(1),Sym(7) -> Sym(1)
+skipping mirror operation Sym(19)=Reify(Sym(18),Summary(true,true,false,false,false,List(),List(),List(),List()),List(Sym(18))) syms Sym(18),Sym(18) subst Sym(15) -> Sym(18),Sym(11) -> Sym(1),Sym(9) -> Sym(2),Sym(13) -> Sym(4),Sym(16) -> Sym(19),Sym(14) -> Sym(17),Sym(1) -> Sym(1),Sym(7) -> Sym(1)
need to transform rhs of fat loop: List(Sym(4), Sym(5), Sym(13)), List(ArrayElem(Sym(1)), ArrayElem(Sym(2)), ArrayElem(Sym(11)))
-skipping mirror operation Sym(4)=SimpleLoop(Const(100),Sym(1),ArrayElem(Sym(1))) syms Sym(1) subst Sym(16) -> Sym(19),Sym(11) -> Sym(1),Sym(13) -> Sym(4),Sym(7) -> Sym(1),Sym(14) -> Sym(17),Sym(9) -> Sym(2),Sym(15) -> Sym(18),Sym(1) -> Sym(1)
-skipping mirror operation Sym(5)=SimpleLoop(Const(100),Sym(1),ArrayElem(Sym(2))) syms Sym(2) subst Sym(16) -> Sym(19),Sym(11) -> Sym(1),Sym(13) -> Sym(4),Sym(7) -> Sym(1),Sym(14) -> Sym(17),Sym(9) -> Sym(2),Sym(15) -> Sym(18),Sym(1) -> Sym(1)
+skipping mirror operation Sym(4)=SimpleLoop(Const(100),Sym(1),ArrayElem(Sym(1))) syms Sym(1) subst Sym(15) -> Sym(18),Sym(11) -> Sym(1),Sym(9) -> Sym(2),Sym(13) -> Sym(4),Sym(16) -> Sym(19),Sym(14) -> Sym(17),Sym(1) -> Sym(1),Sym(7) -> Sym(1)
+skipping mirror operation Sym(5)=SimpleLoop(Const(100),Sym(1),ArrayElem(Sym(2))) syms Sym(2) subst Sym(15) -> Sym(18),Sym(11) -> Sym(1),Sym(9) -> Sym(2),Sym(13) -> Sym(4),Sym(16) -> Sym(19),Sym(14) -> Sym(17),Sym(1) -> Sym(1),Sym(7) -> Sym(1)
lhs changed! will add to innerScope:
-came up with: List(Sym(4), Sym(5)), List(ArrayElem(Sym(1)), ArrayElem(Sym(2))) with subst Sym(16) -> Sym(19),Sym(11) -> Sym(1),Sym(13) -> Sym(4),Sym(7) -> Sym(1),Sym(14) -> Sym(17),Sym(9) -> Sym(2),Sym(15) -> Sym(18),Sym(1) -> Sym(1)
+came up with: List(Sym(4), Sym(5)), List(ArrayElem(Sym(1)), ArrayElem(Sym(2))) with subst Sym(15) -> Sym(18),Sym(11) -> Sym(1),Sym(9) -> Sym(2),Sym(13) -> Sym(4),Sym(16) -> Sym(19),Sym(14) -> Sym(17),Sym(1) -> Sym(1),Sym(7) -> Sym(1)
try once more ...
wtableneg: List()
partitions: List(TTP(List(Sym(4), Sym(5)),SimpleFatLoop(Const(100),Sym(1),List(ArrayElem(Sym(1)), ArrayElem(Sym(2))))))

0 comments on commit 0383398

Please sign in to comment.
Something went wrong with that request. Please try again.