PCF with Contracts and Symbolic Values