added rudimentary ring condition, fixed bridge and fork conditions,
added tests for conditions
added tests for ring condition, fixed calculating ring condition
singleton factory for BDDs, improved evaluation by normalizing values
with varsets