change the output format of .cfg files

Nodes for expressions and statements now also include the containing methods to allow further structural analysis.
caching of sat checks for BDDFeatureExpressions