Adding test cases for Equivalent RE