implement liberal safety for programs with function symbols