Add possibilite rules
Infer "if" block
Add tests
about if