diff --git a/src/ast/sls/sls_engine.cpp b/src/ast/sls/sls_bv_engine.cpp
similarity index 100%
rename from src/ast/sls/sls_engine.cpp
rename to src/ast/sls/sls_bv_engine.cpp
diff --git a/src/ast/sls/sls_engine.h b/src/ast/sls/sls_bv_engine.h
similarity index 100%
rename from src/ast/sls/sls_engine.h
rename to src/ast/sls/sls_bv_engine.h
diff --git a/src/ast/sls/sls_evaluator.h b/src/ast/sls/sls_bv_evaluator.h
similarity index 100%
rename from src/ast/sls/sls_evaluator.h
rename to src/ast/sls/sls_bv_evaluator.h
diff --git a/src/ast/sls/sls_tracker.h b/src/ast/sls/sls_bv_tracker.h
similarity index 100%
rename from src/ast/sls/sls_tracker.h
rename to src/ast/sls/sls_bv_tracker.h