Better explanation of missing expression in if branch