* Get proposition compilation out of skel.ml
Add external source file for condition compilation.