now value() for fun structure works
fixed bug in propositional sum factor tree