Filter preprocessing imports

rust-semantics/targets/preprocessing/configuration.md

@@ -10,12 +10,14 @@ endmodule
 
 module RUST-RUNNING-CONFIGURATION
     imports COMMON-K-CELL
-    imports RUST-CONFIGURATION
+    imports RUST-PREPROCESSING-CONFIGURATION
 
     configuration
         <rust-mx>
             <k/>
-            <rust/>
+            <rust>
+                <preprocessed/>
+            </rust>
         </rust-mx>
 endmodule
 

rust-semantics/targets/preprocessing/rust.md

@@ -1,16 +1,19 @@
 ```k
 
 requires "configuration.md"
-requires "../../rust-common.md"
+requires "../../preprocessing.md"
+requires "../../representation.md"
+requires "../../expression.md"
 requires "../../rust-common-syntax.md"
 
 module RUST-SYNTAX
     imports RUST-COMMON-SYNTAX
 endmodule
 
 module RUST
+    imports private RUST-EXPRESSION
+    imports private RUST-PREPROCESSING
     imports private RUST-RUNNING-CONFIGURATION
-    imports private RUST-COMMON
 endmodule
 
 ```