Add CPAchecker 1.3.4.