case.jade modified to check DScript code statically