@Override
public int hashCode(){
int hash = super.hashCode();
if (function != null) {
hash = hash*37 + function.hashCode();
return function.hashCode();
}
return hash;