Title: On defining and checking the context conditions of programming languages