modified test
revised belief analysis; more tests; filter library warnings
debugging + some more tests
fixed bug in equiv() + added test