Optional
set only if previous property is true, to indicate if the business logic passes validation
if the analysis model is constructed based on a user-defined business-logic (as opposed to a default one)
set only if previous property is true, to indicate if the business logic passes validation