diff --git a/divine/mc/machine.hpp b/divine/mc/machine.hpp
index 54bc63050e0d97ad4dbd4277a3211cbd15923c4d..52c1b3a80b0ea7aed51eff318dce0b3786500bf5 100644
--- a/divine/mc/machine.hpp
+++ b/divine/mc/machine.hpp
@@ -284,7 +284,7 @@ namespace divine::mc::machine
                 return compute( q, o, cont_from );
         }
 
-        bool feasible()
+        virtual bool feasible( tq & )
         {
             if ( this->context().flags_any( _VM_CF_Cancel ) )
                 return false;
@@ -313,7 +313,7 @@ namespace divine::mc::machine
             Eval eval( this->context() );
             bool choice = eval.run_seq( !!cont_from );
 
-            if ( !feasible() )
+            if ( !feasible( q ) )
                 return;
 
             if ( choice )