value flow: fixed fp when variable is used in for-loop condition