Fix special invalidate fallback case in base forkfun
Fix special invalidate fallback case in base forkfun

Spawning should also be done for special (non-Unknown) functions that forkfun doesn't handle before.

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer