aspect RemoveUnusedLocal {
	/* remove an unused local variable declaration */
	public void VariableDeclaration.removeUnused() {
		if(uses().isEmpty() && !hasInit())
			delete();
	}
}