function push_unique(id) {
		if (!params.find((param) => param.name === id.name)) {
			params.push(id);
		}
	}
We only want to push if it's not already present to avoid name clashing
@param {Identifier} id