Had the house/pool for two months. Pool was built 14 years ago. We noticed what appeared to be old crack lines and the inspector didn’t find anything abnormal. Recently however, I’ve noticed some discoloration near the lines. Going to get a pro out soon to see what they think but thought I would start here. Any thoughts are appreciated.