add new canonicalize reduction-relation