Add support for initial conditions using 'with true' and 'with false'