includes RoyalandLoyal
Contexto Membership
-- BUG AL GENERAR #0005
--inv invariant_Membership3 :
-- self.programs.levels->includes(self.currentLevel)
idem #2
Contexto Membership
-- BUG AL GENERAR #0005
--inv invariant_Membership3 :
-- self.programs.levels->includes(self.currentLevel)
idem #2