Fixes for FronTier binding; More static analyzer fixes