added new command line option interface, implemented Model checks in getProb
added nrCalledSites option and other little things