Forgot to commit main change

Author: marcoeilers

src/main/scala/rules/QuantifiedChunkSupport.scala

@@ -1723,7 +1723,7 @@ object quantifiedChunkSupporter extends QuantifiedChunkSupport {
       arguments.flatMap {
         case SeqAt(seq, _) => Some(seq)
         case MapLookup(map, _) => Some(map)
-        // TODO: Add a case for (domain or heap-dep.) function applications, i.e. fun(_)
+        case App(f, _) => Some(AppHint(f))
         case _ => None
       }