@Override
	public int hashCode() {
		final int prime = 31;
		int result = 1;
		result = prime * result
				+ ((declarations == null) ? 0 : declarations.hashCode());
		result = prime * result + ((fparams == null) ? 0 : fparams.hashCode());
		result = prime * result + ((ident == null) ? 0 : ident.hashCode());
		result = prime * result + ((statseq == null) ? 0 : statseq.hashCode());
		result = prime * result + ((subject == null) ? 0 : subject.hashCode());
		return result;
	}