Try to determine in which state a given goal is.
Try to determine in which state a given goal is.
Apply this procedure to the given goal.
Apply this procedure to the given goal.
An implicit function to simplify cascading of possible actions.
An implicit function to simplify cascading of possible actions.
Splitter handles the splitting of l_shift_cast-operations, when no other inference steps are possible anymore.