Implements syntax and type checking for dec instruction.