EP1519284B1 - Method and System for Checking Consistency and Completeness of Selection Conditions in a Product Configuration System