Decision points

-Add and remove element from alternative in graph
-MAVODecision tree view
-Tree menu to add and delete decisions and alternatives
Ok with a TODO (formulaVariables are already assigned based on names whenever an encoding needs to be generated, I think it's only a problem of those decisions and alternatives). What exactly do you want to make read-only? Sometimes a formulaVariable needs to be manually set, if the user wants to.