#71 fixed broken UI test
#102 added a test for severity of constraints
#115 improve performance for method invocations and field access
Merge remote-tracking branch 'origin/master'