added checking of feasibility of composed presence conditions for implementation modules