Tested it out of curiosity, but the P4C seems to not like the use of the function (getColor()) in this example:
Tha diagrams are SDFB, if that’s relevant.
Tested it out of curiosity, but the P4C seems to not like the use of the function (getColor()) in this example: