ඒකක පරීක්ෂණය - සංවාක්‍ය තර්ක