WebCLRestrictor: prohibit the use of goto

Fixes #76.