Normalization for hint check/synth should use ->*