setup transactional examples. refactor sgf_validator_spec