fix CS error in RM11AsserionBuilder