FIXED: State evaluation still throws an java.lang.ClassCastException