fixed a bug in equals comparison of local variables
fixed a bug in synch bugfinder
removed warnings on jsr ret