Added simple test program that tests we concretise bools in requires statements.
Added simple test program that tests we concretise bools in
requires statements.

symbooglix/symbooglix,symbooglix/symbooglix,symbooglix/symbooglix