In reply to Rsignori92:
Iy is a differences between putting sequences and properties into a module or checker. If you use checker you can infer clock and reset from related block’s clock and reset. You can pass explicitely. In addition you can pass sequence to a checker but I could not.
I would choose to pass explicitly for making easy debugging and avoiding from complexity.