Validating *Convert*() stack state
Validation Compare*() stack state