Fixed problem with tcontracts to use δ instead of bin-op for ∩p