added support for abstractions in CFR. LP solver does not allow abstractions.