vm.serializer.class = gov.nasa.jpf.vm.serialize.CFSerializer
#vm.serializer.class = gov.nasa.jpf.vm.serialize.AdaptiveSerializer
#vm.serializer.class = gov.nasa.jpf.vm.serialize.FilteringSerializer
+filter.class = gov.nasa.jpf.vm.serialize.SmartThingsFilterConfiguration
# the class that models static fields and classes
vm.statics.class = gov.nasa.jpf.vm.OVStatics