testing path condition constructor