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
++generate pseudocode for functions in local classes
 #KT-3501 Fixed
removed AutoCastReceiver

check subtype for receiver by AutoCastUtils.isSubTypeByAutoCast directly
++store unsubstituted descriptor as REFERENCE_TARGET

added tests for fixed navigation to library source code for invocation with explicit type arguments
generate CHECK_CAST for smartcasted 'this'
added ConstraintSystemTest