update UML model, new diagrams, added CheckerCore whitebox