removed duplicate ftn prototypes
changed to use SMACK's nondet function, instead of stubbing off storm's nondet function
recording improved results of running with un-stubbed out SMACK functions