NHibernate mapping analysis and verification