Changed signature of make_assignment_kernel