Can't reliably detect equality between applications of the same network

[MatthewDaggitt]

For example the following spec should result in a meta-network with only a single network in:

@network 
f : Rat -> Rat

@property
p : Bool
p = forall x y . f x <= f y and x == y

however our caching mechanism which is necessarily syntactic doesn't catch this.