--- a/marking/mark03a	Mon Dec 19 02:55:13 2016 +0000
+++ b/marking/mark03a	Tue Dec 20 01:47:43 2016 +0000
@@ -108,6 +108,8 @@
   echo " simp(ONE ~ (ONE ~ (ONE ~ CHAR('a')))) == CHAR('a')" | tee -a $out
   echo " simp(ONE ~ (ONE ~ (ONE ~ ZERO))) == ZERO" | tee -a $out
   echo " simp(ALT(ONE ~ (ONE ~ (ONE ~ ZERO)), CHAR('a'))) == CHAR('a')" | tee -a $out
+  echo " simp(CHAR('a') | CHAR('a')) == CHAR('a')" | tee -a $out
+  echo " simp(ONE | CHAR('a')) == (ONE | CHAR('a'))" | tee -a $out
   
   if (scala_assert "re.scala.bak" "../../../marking/re1c_test.scala")
   then
@@ -131,6 +133,8 @@
   echo " matcher((\"ab\" | \"a\") ~ (ONE | \"bc\"), \"abc\") == true" | tee -a $out
   echo " matcher(ONE, \"\") == true" | tee -a $out
   echo " matcher(ZERO, \"\") == false" | tee -a $out
+  echo " matcher(ONE | CHAR('a'), \"\") == true" | tee -a $out
+  echo " matcher(ONE | CHAR('a'), \"a\") == true" | tee -a $out
   
   if (scala_assert "re.scala.bak" "../../../marking/re1d_test.scala")
   then