PHP-Sat offers the functionality to automatically analyze files which are included with the =require_*=/=include_*= functions of PHP. Many projects use some kind of =include $prefix.'filename'.$postfix;= syntax to make sure that their code can run under multiple configurations. To make sure that these projects can also be analyzed by PHP-Sat we have (partially) included constant-propagation to statically determine which files are included. Currently, the constant propagation is capable of correctly propagating values through: * Operator-expressions * Control-flow statements This means PHP-Sat offers inclusion support for procedural scripts without function calls. In the future the inclusion-support will be extended to support: * Function calls * Object creations as far as static analyzes allows these constructs.