Recording some definitions for higher depth (#693)

Author: marcoeilers

src/main/scala/supporters/functions/FunctionRecorder.scala

@@ -140,15 +140,15 @@ case class ActualFunctionRecorder(private val _data: FunctionData,
   }
 
   def recordFvfAndDomain(fvfDef: SnapshotMapDefinition): ActualFunctionRecorder =
-    if (depth <= 1) copy(freshFvfsAndDomains = freshFvfsAndDomains + fvfDef)
+    if (depth <= 2) copy(freshFvfsAndDomains = freshFvfsAndDomains + fvfDef)
     else this
 
   def recordFieldInv(inv: InverseFunctions): ActualFunctionRecorder =
-    if (depth <= 1) copy(freshFieldInvs = freshFieldInvs + inv)
+    if (depth <= 2) copy(freshFieldInvs = freshFieldInvs + inv)
     else this
 
   def recordArp(arp: Var, constraint: Term): ActualFunctionRecorder =
-    if (depth <= 1) copy(freshArps = freshArps + ((arp, constraint)))
+    if (depth <= 2) copy(freshArps = freshArps + ((arp, constraint)))
     else this
 
   def recordFreshSnapshot(snap: Function): ActualFunctionRecorder =