childResult._2(), childResult._3(), ensures, hasConfigOrRegularVariable(cellContents)); return Tuple4.apply((Set<Sentence>)childResult._1().$bar(myResult._1()), Lists.newArrayList(myResult._2()), myResult._3(), false);
childResult._2(), childResult._3(), ensures, hasConfigOrRegularVariable(cellContents)); return Tuple4.apply((Set<Sentence>)childResult._1().$bar(myResult._1()), Lists.newArrayList(myResult._2()), myResult._3(), false);