Initial implementation of preprocessor with constraints.