edited Write test so it prints ot the assertion expression from alloy. has yet to translate it to c#-code