non-constant symbols can now used as constant-values in the same branch if the value is known