om.getKeyProperties().add(role); role.setNullable(false);
if (role == null) { m_errors.fatal (id, "no such property: " + id.getName()); } else { om.getKeyProperties().add(role); role.setNullable(false); }
                public void onIdentifier(IdentifierNd id) {                    ObjectTypeNd ot =                        (ObjectTypeNd) id.getParent().getParent();                    ObjectMap om = m_root.getObjectMap			(m_symbols.getEmitted(ot));                    Role role = (Role) m_symbols.getEmitted(ot).getProperty                        (id.getName());                    om.getKeyProperties().add(role);                    role.setNullable(false);                }