Add properties to make the execution of the mutation tests easier
Add tests to ensure that the lockdown is working properly and doubling as expected