diff --git a/kernel/satgen.cc b/kernel/satgen.cc
index f2c1e00c2..b8b850bb3 100644
--- a/kernel/satgen.cc
+++ b/kernel/satgen.cc
@@ -1378,7 +1378,7 @@ bool SatGen::importCell(RTLIL::Cell *cell, int timestep)
 		return true;
 	}
 
-	if (cell->type == ID($scopeinfo))
+	if (cell->type == ID($scopeinfo) || cell->type == ID($input_port))
 	{
 		return true;
 	}