check incomplete equality
KT-4341 No resolved call for right-hand side of equals expression
 #KT-4341 Fixed
added renderers for constraint system and type bounds

moved classes
asserts changed to LOG.error
KT-4372 Invalid error position and failing to resolve invoke with receiver from other module  #KT-4372 Fixed
store unsubstituted descriptor as REFERENCE_TARGET
made JetVisitorVoid extends JetVisitor<Void, Void>
removed unnecessary more accept(JetVisitorVoid) methods
added readme file about diagnostic tests directives
generate pseudocode for functions in local classes
 #KT-4405 In progress
 #KT-3501 Fixed
removed AutoCastReceiver

check subtype for receiver by AutoCastUtils.isSubTypeByAutoCast directly
 #KT-4403 Fixed
 #KT-4415 Fixed
generate CHECK_CAST for smartcasted 'this'
added ConstraintSystemTest
do not try properties named 'invoke' when resolve 'invoke'
generate pseudocode for property accessor only if the property is local

otherwise check it independently like a function
KT-4405 Control-flow analysis is not performed for some local declarations   #KT-4405 Fixed
generate constraint system tests
more tests added
record smartcast to the most specific type
do not record smart cast to not nullable type separately
improvements after review in constraint system tests