Assert: Simplify ok assertion

Closes #587