added tests for ClauseLike, ImmutableClause, MutableClause, moved CardinalityConstraintTest to the right package
abstract TPTP-format, add a comment in ClauseLike