Add conflicts_with to formulae