../../tst_boolean_001/verificationPoints/INIT