asserta: returns the asserted value and should be used as a statement, only as a statement.
For statements we should use always assert:.

Slang should control this at compile time.