Split up BoolVarTree files.

Working towards a better method of generating Prolog files (issue #6).