Definitions generation and tests for the ProtoBuf.js builder