The arg/3 predicate fails if you ask for the first argument, fix and quickcheck property

fix #27
Merge bugfix branch