Renamed cfg to grammar to avoid confusion.
Now gluon fails if the contract has unexisting methods.