Context Customer
Inv: correctAge: customer -> forAll (age >= 12)
Context Customer
Inv: program.size() = 2
Context LoyaltyProgram
Inv: customer.size() >= 10
Context Room
Inv: customer.paymenyCard.valid = true