added ConstraintSystemTest
++generate pseudocode for functions in local classes
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