use Validation infrastructure in #179 to restrict:

1. If statement doesn't have an else block
2. If statement only has one expression inside the body.