fixing current_assignment to check already_know first