semantic changes for review
revert rule [Invoke-methodInfo-instance-protected-or-public]
change a switch rule: (_:K S:K)<:SwitchGroup => S
Merge pull request #18 from kframework/semanticsChange

Semantics change