Verification Processor Machine Translation