A signal that is not defined in all branches of an if/case does is not "dangling" and not give the tool freedom to do random assignments - the result of this operation is fully deterministic. First of all, if t