Added new nondet value kind for expressions in predicate analysis with UFs
Bug fixes in declarations and initialization
Prefer declaration type for every occurrence of an identifier if the corresponding declaration is available

Fixes an issue with an anonymous structure type
(simple/struct_initializers_safe.c, variable r gets both the types "struct __anon_type_0" and "struct ").
Fix bugs in declaration and initialization assignments expansion (with default values)
Used #toString() and Set<String> instead of expression path trie (useless due to expression equality implementation)