simplifications for BILP