Symbol: apply_constraint