The Stefan Problem with a Non-monotone Constitutive Relation