add cond-expander example