Pavaman - thanks for verifying. The latter issue sounds like a BMC problem, which we're following-up separately.
Pavaman - thanks for verifying. The latter issue sounds like a BMC problem, which we're following-up separately.