update label in apron.g4
Merge branch 'apron_test' of github.com:similecat/Apron_J into apron_test