Added basic predicates
Added predicate test file