Add error message to mkConcSm for unsupported expressions.