With this example usage:

    -- Example usage:
    let clause1 = Set.fromList [1, 2]  -- represents (x1 ∨ x2)
    let clause2 = Set.fromList [-1, 3] -- represents (¬x1 ∨ x3)
    let formula = Set.fromList [clause1, clause2]
    
    -- Decompose the formula
    let (nonBlocked, blocked) = decompose formula