Is the objective a stuffed cone objective?
is_stuffed_cone_objective(objective)
objective
An Objective object.
Is the objective a stuffed-cone objective?