Symbol: fixpoint_sub