enhance priority testing
minor #481 enhance priority testing (keradus)
missing file header