File ../sharedops.rsl, line 6, char 17:
		syntax error.
    File ../sharedops.rsl, line 13, char 27:
	Warning: End name does not match name declared on line 1.
    File ../sharedops.rsl, line 18, char 17:
		syntax error.
    File ../sharedops.rsl, line 18, char 3:
	Identifier preconditions already defined in this module, on line 6
    File ../sharedops.rsl, line 25, char 11:
		syntax error.
    File ../sharedops.rsl, line 34, char 17:
		syntax error.
    File ../sharedops.rsl, line 34, char 3:
	Identifier preconditions already defined in this module, on line 18
    File ../sharedops.rsl, line 42, char 17:
		syntax error.
    File ../sharedops.rsl, line 42, char 3:
	Identifier preconditions already defined in this module, on line 34


*** No output generated due to translation errors. ***