Add first-order contract demo