Reset nil attributes to their default values to make the spec valid
Unwinds the states stack because a conflict has been encountered @return [void]
@return [Integer] The index to which the resolution should unwind in the
case of conflict.