fix c semantics for k master

@chathhorn please review

You can test this against kframework/k#1235

It should pass the tests.