\RequirePackage{amssymb,amsmath,stmaryrd} \def\A#1{\mathcal{A}\left\llbracket#1\right\rrbracket} \def\B#1{\mathcal{B}\left\llbracket#1\right\rrbracket} \def\N#1{\mathcal{N}\left\llbracket#1\right\rrbracket} \def\s{s\;} \def\x{\mathtt{x}} \def\tt{\mathbf{tt}} \def\ff{\mathbf{ff}} \def\AND{\mathtt{\;\&\&\;}} \def\OR{\mathtt{\;||\;}}