fixed bug in IbpRules in ibp.m