Apply PaVeReduce to exclusive-bare-short

git-svn-id: svn+ssh://kasztan.ifj.edu.pl/home/theory/svnroot/camtoph/Axiloop/trunk@122 b3d96e63-20c6-4b12-ab6f-f754623db25f