Now that we're using LLVM 2.5, we can stop always running the CFGSimplification pass. The pass was originally added as a workaround for a LLVM 2.4 bug where debug info would reference labels that have been optimized away.

module globals2;

template Bool(bool b)
{
    const bool Bool = b;
}

void main()
{
    assert(Bool!(true));
    assert(!Bool!(false));
}