Slang should not allow asserta: to be used outside of a top level statement

[Guille Polito]

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.