Small fix and some cleaning in nondet-static [TG-2755]#2874

Merged

majakusber merged 3 commits intodiffblue:developfrom

majakusber:nondet_static_condition

Sep 3, 2018

Commits on Aug 31, 2018

Label Java internal symbol to avoid nondet-initialization
svorenova
committed

Commits on Sep 3, 2018

Pull out a function to check conditions for nondet-static
svorenova
committed
Document nondet-static functions
svorenova
committed