Fixed dumb timeout bug.
Now the grammar generation only takes into account module calls that are part
of the contract.