fixed bug in the LP-based inclusion test