tests for procedure syntax