# Names of parameters from the AST
	# REQUIRE: is_visited
	var param_names = new Array[String]