Thanks for the clarification. So that means if I see a false() value under any options in the CAFD files that means it is also impossible to FDL code that function so I should abandon the project since G30 doesn't support it. Am I correct?
I was also working on VZA, EDP and ISA. I'll check verifications for them like you've showed
Sometimes they show a boolean code instead. I think it is a precondition but it's in this format: cat[@val<"128"][crit[@val=1735] and I don't understand it.
Cat takes 128 or 255 values I think they are active and not active which refers to code/option/etc. with code 1735. How can I know what 1735 is?
Update: I've found it from FA/FP editor of CAFD Tool.
But I also realize that I've coded a Compass in the boardcomputer and it works in the instrument cluster. Codes related with it shows exactly like the screen shot you've shared Xpath was false for G30 on all parameters I've changed. But it works. 