Branching now controled bya function rather than an if-statememt
Branching now defined as a method on proposition classes AND, OR and PROP_VAR.