Added Unreachable statement semantic warning

Also added email to author notation