core and tests, predicates and tests
Simple validator added