public PreconditionNOT(ExternalFunc func) { externalFunc = func; }
public PreconditionNOT(ExternalFunc func, string nodeName) { externalFunc = func; name = nodeName; }