add stubs db (imported from netbeans\!) add ModelChecker pass. lots of works on model build out