Fix a bug in library clause of cond-expand