fixed renaming condition for declarations, also fixed using the wrong presence condition for renamings
Merge remote-tracking branch 'origin/master'
Merge remote-tracking branch 'origin/master' into ldv-gen
additional output in test cases
new test case resource (15)