Added optional variable binding to DEFTEST. Fixed SHOULD SIGNAL reporting.