Optimize safe asserts