Files
clice/include/Protocol/Language/Implementation.h