Initial version.
Removed cons for LblRef.
Simplification for WaitStmt.