Add a solution to a fixpoint