removed writer context
some improvments
enhanced library woth base predicates