Integrate SSA with property modification inside function update