Level sensitive check - A "wait" that checks condition before stopping
Focus is on updating language to support passing an expression to a input signal parameter, however, as pointed out in the proposal this has issues since an expression passed to a signal parameter will have the left most value of the type. Here that is ok since it is false.