let help = "when on (off by default), generate assertions on function calls based on contracts"