add syntax-locally-bound-identifiers