Added analyzer of sem equations, implement messages about possible races