Add Attachment:STR-675: format-check: support more complex tree patterns in the right-hand sides