Value propagation: remove support for multiple paths in products, if-statements and for-statements