Validations and equivalence for tran scenario