// Defaults: there can be 0 or 1 statements each of form:
//     Defaults { ... }
//     FlowNode { ... }
//     Method Test  { ... }
//     Method Group { ... }
//     Method Flow  { ... }
// The following defaults apply when corresponding user statements are absent:
Defaults
{
    FlowNode                // Integral type
    {
        Ports
        {
            EntryActions {}
            Exit Fail
	        {
		Condition TestObject.failed;
		Connection GroupExit;
		Actions {}
		}
            Exit Pass
	        {
		// Condition not (necessary|permitted) on last Port
		Connection NextNode;
		Actions {}
		}
        }
    }

    Method Test             // Integral type
    {
        In  FailBin  failbin = Undefined;
        Out Bool failed = False;    // Requires reset on start: use InOut ?
        Out Bool ran = False;       // Requires reset on start: use InOut ?
        Out NrwUnits result = NaN;  // Requires reset on start: use InOut ?
        EntryActions {}
        Exit Fail
            {
            Condition AnyTest.failed;
            Actions { ThisTest.Bin }
            }
        Exit Pass {}
    }
    
    Method Group            // Integral type
    {
        IsA Test;           // Statement not necessary: implied as per syntax
	Fail.Actions {}     // Override inherited Fail Actions **** syntax description missing ****
    }
    
    Method Flow             // Statement not necessary: same as integral type
    {
        IsA Group;          // Inherited overridden Fail Actions
    }
}