added auxilliary functions for the field access rules