Bugfix in specification parser, which caused stubgenerator to only build positional parameter procedures