changed get_positive_required_states to get_positive_required_contingencies which returns a list of ! and k+ contingency for conflict search. the properties are now the same as for product contingencies what means that i can get the target reaction (step 4).