Add checker for devs formalism