add comment for non-effect case expression