[verifier] Set correctly stack type based on constrained type