#34 "ensures false" exit detection

[Artem Grinblat]

Treat function that "ensures false" in the same way as
an "assert false".

[Artem Grinblat]

Logged In: YES
user_id=289741

/// PASS
?String ss = null;
try{
if( null == ss ) fail( "ss is null" );
ss = ss + "_";
}catch( AssertionError ok ){}
/// Toplevel
<T> void fail( T message ) ensures false = throw new
AssertionError( message );

---
currently fails with

[nicec]
Nice\testsuite-temp-folder\testcase1\main.nice: line 10,
column 13:
[nicec] No possible call for +.
[nicec] Arguments: (?java.lang.String, java.lang.String)

but the desired behaviour is to detect that ss is not null,
since
if( null == ss ) fail( "ss is null" );
is equivalent to
if( null == ss ) assert false;
becouse of "ensures false".