It will be very good if vMagic controls the semantics of the code. For example, vMagic should control if a readed signal (or variable) is declared or not.
