Assertion: expression's effect | /r/HasProperty | the same
Facets:
Source sentences:
text: A <step> may be omitted, in which case the effect is the same as if (<variable> <init> <variable>) had been written instead of (<variable> <init>) .