Fixes #1434. Also add unit tests for some argument processors. Signed-off-by: Etienne Wodey <wodey@iqo.uni-hannover.de>