powered by
This function calculates the result of a switch action.
find_S_result(x, X, S)
An element in the set, represented by a positive integer
check_YB