value flow: fixed todo assertion for handling of conditions