semantic: For now, only implicitly deal with non MI variable assignments.