Changed the command line arguments

to use --semantics="abstract" and --semantics="concrete" instead.