no ContractInference for compiled elements
contract inference: exclude contracts not matching the return type
contract inference: honor already known parameter values during data flow analysis
unused property inspection: search in a narrow scope first
fix layouts: exclude structural search from defaul platform implementations
[git] rename utility method to a more consistent name
Merge remote-tracking branch 'origin/master'
Platform: do not produce duplicating shortcuts in help keymaps