aspect RemoveField {
	public void FieldDeclaration.removeUnused() {
		if(!isUsed() && (!hasInit() || getInit().isPure()))
			getParent().removeChild(getChildIndex());
	}
}