public static FormulaNodeFalse CreateFalseToken() { return FormulaTreeFactory.CreateFalseNode(); } public static ConstantFormulaTree CreateTruthValueToken(bool value)