enabled warnings for debug compilation
implemented positinal parameters type validation in procedure.cpp