Algorithm Unions / Multi State Solving