In reply to TC_2017:
Quoting from the LRM
The if–else style constraint declarations are equivalent to implications.