testPatternUsing testEx (L1.L1PatternProduct ss []) =
  return $ (L1.L1ExReference ss (pathGlobal ss "true"))
testPatternUsing testEx (L1.L1PatternProduct ss []) =
  return $ (L1.L1ExReference ss (pathGlobal ss "true"))
testPatternUsing testEx (L1.L1PatternProduct ss []) =
  return $ (L1.L1ExReference ss (pathGlobal ss "true"))