public void TypeCheck(ITypeEnvironment env)
{
if (env.IsDeclared(gotoDeclareName))
{
env.ReportError("You already defined a gotoNextForm. You can only have 1 per form.",
SourceStartPosition, SourceEndPosition);
return;
}
env.Declare(gotoDeclareName, null);
}