Error: Static Logic-Subsystem Framing Condition