Now there is an option to pass the contract in the command line
instead of the annotation of the module.