refined BILP