Starting seperating lazy constraints