@Override
    public boolean equals(Object obj) {
        if (this == obj)
            return true;
        if (obj == null)
            return false;
        if (getClass() != obj.getClass())
            return false;
        FunctionDefinition other = (FunctionDefinition) obj;
        if (parameters == null) {
            if (other.parameters != null)
                return false;
        } else if (!parameters.equals(other.parameters))
            return false;
        if (bodies == null) {
            if (other.bodies != null)
                return false;
        } else if (!bodies.equals(other.bodies))
            return false;
        return true;
    }