Add additional objectives to storm4.