Error Description: Name of the rewrite equivalence is not specified
Error Cause: The name of the rewrite equivalence is NULL.
Action: Input a valid rewrite equivalence name.