added five asserts to make sure that the arguments of reclist_insert do exist