add visitor to check if there is no constant deficnition inside a conditional node evaluated at runtime