Better implementation of HCComponent for partial model checking avoiding useless variables.
Found error during lbd computation in case of assumptions (I didn't fix for comparison of experiments results).