Upgrade rep_ok methods implementation and fixed bug for pass the DFACreationTests test class