Adding semantic checks to control:
1: when source is a variable
2: when target is a variable
3: whether the source variable is defined before the call
4: assign proper perspective to the source variable after checking to have not an explicit perspective defined in the statement