boolean clauseModelSpec() {
		int tok = tokPeek();
		if (tok == Token.colon || tok == Token.slash)
			tokenNext();
		if (tokPeek() == Token.asterisk) {
			tokenNext();
			return true;
		}
		Token tokenModel = tokenNext();
		if (tokenModel == null)
			return invalidModelSpecification();
		switch (tokenModel.tok) {
		case Token.string:
		case Token.integer:
		case Token.identifier:
			break;
		default:
			return invalidModelSpecification();
		}
		return generateResidueSpecCode(new Token(Token.spec_model, tokenModel.value));
	}