RG> I think it should only be allowed to use the sboTerm
RG> to simulate the model if there is not formula present.
RG> I think that it is very important to state which is
RG> the correct behavior in case of potentialy
RG> contradicting information because only one behavior
RG> can be correct here. And since it is not trivial to
RG> make a consistency check in this case, I think we
RG> should state that it is wrong to use the sboTerm to
RG> simulate the model if there is an equation present?
I think you're right that the issue exists.
Your suggestion is an interesting idea. It would be a
stronger version of the guidelines I wrote about earlier
Do we need to put this question to a separate vote?