diff --git a/src/python/storm-core.cpp b/src/python/storm-core.cpp
index e02d76b2d..6d7a4c75a 100644
--- a/src/python/storm-core.cpp
+++ b/src/python/storm-core.cpp
@@ -51,6 +51,12 @@ BOOST_PYTHON_MODULE(_core)
     def("parseProgram", storm::parseProgram);
 
     def("buildModelFromPrismProgram", storm::buildSymbolicModel<double>);
+    def("buildParametricModelFromPrismProgram", storm::buildSymbolicModel<storm::RationalFunction>);
 
+    //////////////////////////////////////////////
+    // Model Checking
+    //////////////////////////////////////////////
 
+
+    def("performStateElimination", storm::verifySparseModel<storm::RationalFunction>);
 }
\ No newline at end of file