fix precondition for default argument value assignment in Port#next