@Override
public FramePolicy ammendFramePolicy(MethodInfo mi, FramePolicy sofar) {
ClassInfo ci = mi.getClassInfo();
+ // TODO: Fix for Groovy's model-checking
+ // TODO: Change of sid assignment strategy since the previous one caused a bug with SmartThings object filtering
if (ignoreClass(ci) || checkName(mi.getName())) {
sofar.includeLocals = false;
sofar.includeOps = false;