Local specifications

Allow specifications for local functions