gates ssa, strong values without strong updates, etc