models/step3scalar: now with scalarset reduction!