Add acquire and release dependencies from the synchronized keyword
Fixed gather stmt from catch. Missing stmts from state
Take into account values