Added parameter for filtering machines in verification