fix model for shortcut method refinement and add tests
for ceylon/ceylon-compiler#999