public static ConstantFormulaTree CreateTruthValueToken(bool value) { return value ? (ConstantFormulaTree)CreateTrueToken() : CreateFalseToken(); }