lang dynamic-rules dynamic-rules.str scoped-finite-map scoped-finite-map.str stacktrace stacktrace.str with with.str