bugfix: do not generate redundant true annotations

Author: pmbittner

src/main/java/org/variantsync/vevos/simulation/variability/pc/variantlines/VariantAnnotation.java

@@ -2,6 +2,7 @@
 
 import org.prop4j.Node;
 import org.variantsync.vevos.simulation.util.fide.FormulaUtils;
+import org.variantsync.vevos.simulation.util.fide.bugfix.FixTrueFalse;
 import org.variantsync.vevos.simulation.variability.pc.options.VariantGenerationOptions;
 
 import java.util.ArrayList;
@@ -15,18 +16,24 @@ public record VariantAnnotation(
     public List<String> project(final VariantGenerationOptions projectionOptions, final List<String> splFileLines) {
         final List<String> result = new ArrayList<>();
 
-        if (projectionOptions.withMacros()) {
+        final boolean genMacro = projectionOptions.withMacros() && !isTrue();
+
+        if (genMacro) {
             result.add("#if " + FormulaUtils.toCPPString(condition));
         }
 
         for (final VariantLineChunk child : lines) {
             result.addAll(child.project(projectionOptions, splFileLines));
         }
 
-        if (projectionOptions.withMacros()) {
+        if (genMacro) {
             result.add("#endif");
         }
 
         return result;
     }
+
+    public boolean isTrue() {
+        return FixTrueFalse.isTrue(condition);
+    }
 }