Handling of conditional effects in the extraction of action mutexes