Fixed error in TestProcedure constructor leading to early abortion.