some tests for safeaccess/existential operator
fixed wsa grammar for safeaccess
C# port of the Boo step from BooJs