Machine Translation Testing via Syntactic Tree Pruning