Running on Zero Agents PLSemanticsBench 🧠Predict final state of a C* program with semantic interventions