calculate path condition inside constructor