more specific dependencies
using strict intmap
refactoring of simple tests
added colored output of testing results (may lead to bad readability in log file)
use example terms to test desired properties of kripke structures
merged