public Option <ValidationMessage> Execute(ProblemOccurrence po)
{
var expectedState = po.DeduceState(po.Alternatives(Repo.GetElement));
return((po.State != expectedState).Then(() =>
ValidationMessage.Error("Inconsistent State between Problem Occurrence and associated Option Occurrences")));
}
public bool CanExecute(ProblemOccurrence _)
{
return(true);
}
