Symbol: fixpoint_add