Add checking analysis for non-trivial var modification (e.g. unification)

This commit is contained in:
Grigorii Kirgizov 2019-08-06 23:21:45 +03:00 committed by Fedor Isakov
parent 5ba57b0b61
commit 5f2b010e5b
3 changed files with 3487 additions and 12 deletions