model checking commands (parsing only)