- split different predicates in META file
- write a bounce of Makefile for examples compilation
