ligo/src/lib_protocol_compiler