+ prolog defined rules for cfg generation
+ prolog defined rules for cfgfile generation