disabled selecting terminals
added some functionality to the OBDD list, problem with OBDD showing
added the simple apply functionality
some fixing and code "shortening"
some more fixing
moved functionality from the GUI to the controllers
some more visual functionality
currently final version