Added LRCo case for syntactic equality.