added exception-catch in the LP-based inclusion test