add pic_core_syntactic_env