very minor
ws
minor
fix bug in handling constant conditions in while
spec handling of constant conditions