fixed null pointer exception
fixed boogie instrumentation