funSymbols

Do not add function symbols into fixpoint environment.