#if !defined TEST_CASTOR_CORE_H
#define TEST_CASTOR_CORE_H 1

void test_lref();
void test_or_and();
void test_recurse_mf();
void test_Disjunctions();
void test_ExDisjunctions();
void test_Conjunctions();
void test_cut();
void test_op_exor();
void test_True();

#endif
